Run for a period of time #44
Description
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}).
{{ message }}
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}).