
12 Aug
2010
12 Aug
'10
6:41 a.m.
2010/7/23 Ivan Miljenovic
On 22 July 2010 18:33, David Waern
wrote: [snip]
We currently only support concrete examples (i.e. unit tests), but the plan is to add support for QuickCheck properties.
Would you have some kind of inbuilt time limit (similar to what mueval has) for very long/complex QC tests? I have some that take quite a while to run...
The testing is carried out by a separate program: DocTest. There is no support for QC properties yet. Some kind of time limit would probably be useful to have, yes. Thanks for the suggestion. David