Skip to content

GitLab

Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit d08d0bac authored by MARCHE Claude's avatar MARCHE Claude
Browse files
Options

diff in nightly bench, with all tests

parent 4039cf04
Hide whitespace changes
Inline Side-by-side
Showing with 9 additions and 9 deletions
examples/regtests.sh
View file @ d08d0bac
......@@ -35,17 +35,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 translation ==="
# 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