*.c *.nux *.nux.save *.exp *.out *.res .allres
arithmetic commit_bug disj_disj duplicate_label environment float_test
interpreter nasty_nondet nondet_disj nondet_ite partition petdr1
string__format_test string_test string_test_2 set_test univ
higher_order semidet_map parse_list
det_complicated_unify commit_bug nondet_ite_2
unreachable dnf hello_again nondetlive semidet_lambda liveness
mode_inf_bug double_error2 double_error frameopt_mkframe_bug
commit_bug_2 nondet_ite_3
determinism_inlining fail_detism liveness2 mu nondet_ite_4 space
array_test prune_switch
