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