Commit e27119a2 authored by MARCHE Claude's avatar MARCHE Claude

Hopefully working nightly bench scripts

parent e411cc01
......@@ -4,8 +4,8 @@ OUT=$PWD/nightly-bench.out
REPORT=$PWD/nightly-bench.report
notify() {
# mail -s "Why3 nightly bench" why3-commits@lists.gforge.inria.fr < $REPORT
mail -s "test Why3 nightly bench" Claude.Marche@inria.fr < $REPORT
mail -s "Why3 nightly bench" why3-commits@lists.gforge.inria.fr < $REPORT
# mail -s "test Why3 nightly bench" Claude.Marche@inria.fr < $REPORT
# cat $REPORT
exit 0
}
......
......@@ -34,17 +34,17 @@ echo "=== Logic ==="
run_dir .
echo ""
# echo "=== BTS ==="
# run_dir bts
# echo ""
echo "=== BTS ==="
run_dir bts
echo ""
# echo "=== Programs ==="
# run_dir programs
# echo ""
echo "=== Programs ==="
run_dir programs
echo ""
# echo "=== Check Builtin traduction ==="
# run_dir check-builtin
# echo ""
echo "=== Check Builtin translation ==="
run_dir check-builtin
echo ""
exit $res
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment