Searched refs:results_dir (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/ |
| H A D | doit | 6 results_dir=$round_trip_dir/results
14 rm -rf $results_dir $old_results_dir $logs_dir $old_logs_dir diffout diffout.old ; \
26 if [ -e $results_dir ]; then mv $results_dir $old_results_dir ; fi
27 mkdir $results_dir
35 (${ACL2_HOL_LISP}/axioms-essence.csh $results_dir/axioms.lisp) > $logs_dir/axioms.out 2> $logs_dir/axioms.err ; \
37 (${ACL2_HOL_LISP}/a2ml.csh $gold_dir/axioms.lisp $results_dir/axioms.sml) > $logs_dir/axioms.sml.out 2> $logs_dir/axioms.sml.err ; \
39 (diff -x .svn $results_dir $gold_dir 2>&1) > diffout
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/obsolete/ |
| H A D | doit.bash | 7 results_dir=$tests_dir/results
14 rm -rf $results_dir $old_results_dir $logs_dir $old_logs_dir diffout diffout.old ; \
26 if [ -e $results_dir ]; then mv $results_dir $old_results_dir ; fi
27 mkdir $results_dir
37 (${ACL2_HOL_LISP}/book-essence.csh $inputs_dir/$test $results_dir/$test) > $logs_dir/$test.out 2> $logs_dir/$test.err ; \
40 (diff $results_dir $gold_dir 2>&1) > diffout
|
| H A D | doit.csh | 5 set results_dir = $tests_dir/results
12 rm -rf $results_dir $old_results_dir $logs_dir $old_logs_dir diffout diffout.old
24 if (-e $results_dir) mv $results_dir $old_results_dir
25 mkdir $results_dir
35 (${ACL2_HOL_LISP}/book-essence.csh $inputs_dir/$test $results_dir/$test) >& $logs_dir/$test.out
38 diff $results_dir $gold_dir >& diffout
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/ |
| H A D | doit | 7 results_dir=$tests_dir/results
27 rm -rf $results_dir $old_results_dir $logs_dir $old_logs_dir ; \
44 if [ -e $results_dir ]; then mv $results_dir $old_results_dir ; fi
45 mkdir $results_dir
55 (${ACL2_HOL_LISP}/book-essence.csh $inputs_dir/$test $results_dir/$test) > $logs_dir/$test.out 2> $logs_dir/$test.err ; \
57 (${ACL2_HOL_LISP}/a2ml.csh $results_dir/$test $results_dir/$testr.sml $inputs_dir) > $logs_dir/$test.sml.out 2> $logs_dir/$test.sml.err ; \
60 (diff -x .svn $results_dir $gold_dir 2>&1) > diffout
|
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | auto_infea.py | 42 def auto_infea(dir_name, entry_point_function, manual_conflicts_file, results_dir, initial_case_iteration, preemption_limit):
48 auto_refutes_file = results_dir+'/refutes.txt'
54 results_file = results_dir+ '/results.txt'
65 sol_file = results_dir+'/case_%d.sol' % case_i
66 ilp_file = results_dir+'/case_%d.ilp' % case_i
83 refutables_fname = results_dir + '/refutables_%d' % case_i
119 p = Popen(['cp', auto_refutes_file, results_dir+'/refutes_%d.txt'% case_i])
137 results_dir = sys.argv[3] variable
139 auto_infea(dir_name, entry_point_function,preempt_conflicts_file, results_dir, initial_i, preemption_limit = 5)
|
Completed in 484 milliseconds