Commit c886d65e authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Shorten the duration of the test in demos/brz/TestGen.ml.

parent 0b95c3fa
......@@ -103,4 +103,7 @@ let test =
let generator = add_boundaries generator in
QCheck.Test.make generator check
let () = QCheck_runner.run_tests_main [test]
let () =
QCheck_runner.set_verbose false;
QCheck_runner.set_long_tests false;
QCheck_runner.run_tests_main [test]
Supports Markdown
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