Miroslav Lichvar f8f9100a0d makefile: run tests in multiple iterations on check ...

Use the new options of the run script in the check target to make it
reliable for automatic testing without using a fixed random seed and add
a new quickcheck target for the original check using just one iteration.

2017-03-31 14:53:27 +02:00

3.6 KiB

Raw Blame History

View Raw