Commit cf86a47e authored by Guillaume Melquiond's avatar Guillaume Melquiond

Test drivers earlier in the bench.

parent f535480f
...@@ -153,6 +153,10 @@ goods modules ...@@ -153,6 +153,10 @@ goods modules
goods modules/mach goods modules/mach
echo "" echo ""
echo "=== Checking drivers ==="
drivers drivers
echo ""
echo "=== Checking bad files ===" echo "=== Checking bad files ==="
goods bench/typing/bad --parse-only goods bench/typing/bad --parse-only
goods bench/programs/bad-typing --parse-only goods bench/programs/bad-typing --parse-only
...@@ -214,10 +218,6 @@ extract_and_run examples/vstte10_max_sum vstte10_max_sum__*.ml ...@@ -214,10 +218,6 @@ extract_and_run examples/vstte10_max_sum vstte10_max_sum__*.ml
extract_and_run examples/sudoku sudoku__*.ml 2,0,9,0,0,0,0,1,0,0,0,0,0,6,0,0,0,0,0,5,3,8,0,2,7,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,7,5,0,0,3,0,4,1,2,0,8,9,0,0,0,0,4,0,9,0,0,2,0,8,0,0,0,0,1,0,0,5,0,0,0,0,0,0,0,7,6 extract_and_run examples/sudoku sudoku__*.ml 2,0,9,0,0,0,0,1,0,0,0,0,0,6,0,0,0,0,0,5,3,8,0,2,7,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,7,5,0,0,3,0,4,1,2,0,8,9,0,0,0,0,4,0,9,0,0,2,0,8,0,0,0,0,1,0,0,5,0,0,0,0,0,0,0,7,6
echo "" echo ""
echo "=== Checking drivers ==="
drivers drivers
echo ""
echo "=== Checking valid goals ===" echo "=== Checking valid goals ==="
valid_goals bench/valid valid_goals bench/valid
echo "" echo ""
......
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