Skip to content
Snippets Groups Projects
Normal view Permalink
guarantees_auto~ 464 B
Newer Older
Davide Cavezza's avatar
Initial commit
Davide Cavezza committed
1 2 3 4 
VAR
handle_up__S0,handle_up__S2,gear_extended__S2,handle_down__S0,handle_down__S2,handle_down__Sf,handle_up__Sf,gear_extended__Sf: BOOLEAN
FORMULA
((handle_down__S0->((!handle_down__S2|handle_down__S2&gear_extended__S2)))) & ((handle_down__S2->((!handle_down__Sf|handle_down__Sf&gear_extended__Sf)))) & (TRUE) & ((handle_up__S0->((!handle_up__S2|handle_up__S2&!gear_extended__S2)))) & ((handle_up__S2->((!handle_up__Sf|handle_up__Sf&!gear_extended__Sf)))) & (TRUE)