Project

General

Profile

Revision 6a93d814 scripts/gen_reports.sh

View differences:

scripts/gen_reports.sh
63 63
$cfile \
64 64
-wp-par 2 \
65 65
-wp-model ref \
66
-wp-tactic="Require Why3. intros. hnf. repeat split;try why3 \"CVC3\" timelimit 10;try why3 \"Z3\" timelimit 10;why3 \"CVC4\" timelimit 10" \
66
-wp-tactic="Require Why3. unfold itep. hnf. intuition;try why3 \"CVC3\" timelimit 10;try why3 \"Z3\" timelimit 10;why3 \"CVC4\" timelimit 10" \
67 67
-wp-script $coqfile \
68 68
-wp-no-let \
69 69
-wp-report ${reportstyle_txt},${reportstyle_tex} \

Also available in: Unified diff