# GAS STATION

# known model checker's settings
global mc_diagnostic
global mc_explain
global mc_tracepath
global mc_automaton
global mc_minimize
global mc_progress

ccs_read gas2.ccs
mc_check_actl 0 SYSTEM F1 [expr $mc_diagnostic]
mc_check_actl 0 SYSTEM F2 [expr $mc_diagnostic]
mc_check_actl 0 SYSTEM F3 [expr $mc_diagnostic]
mc_check_actl 0 SYSTEM F4 [expr $mc_diagnostic]
