triq Run for a period of time

Run for a period of time

Open zkessin opened this issue 10 years ago • 1 comments

It would be nice to be able to run a property for a unit of time, say 10 minutes, instead of a number of itterations.

triq:check(my_prop(), {10, minute}).
triq:module(my_module(), {10,minute}).

Dec 28 '14 05:12 zkessin

I think quiviq quickcheck does allow this

Dec 28 '14 18:12 zkessin