search

krestenkrab / triq

Trifork QuickCheck
http://krestenkrab.github.com/triq/
Apache License 2.0
281 stars 54 forks source link

Run for a period of time #44

Open zkessin opened 9 years ago

zkessin commented 9 years ago

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}).
zkessin commented 9 years ago

I think quiviq quickcheck does allow this