# /* Robert Meolic, 22. 8. 2003 */
# /* Demo ACTL model checking algorithm */

pa_read_process "mc1.dat"
pa_encode_process "ird empty"
mc_check_actl_file 0 ird "mc1.actl" full
#mc_check_actl_file 0 empty "mc1.actl" full
