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

pa_read_process deadlock.dat
mc_check_actl_file 0 S deadlock.actl [expr $mc_diagnostic | $mc_automaton]
