From: Marco Baringer Date: Fri, 20 Jan 2006 09:38:15 +0000 (+0100) Subject: Added *num-trials*, *max-trials* and checking of whether the test code is ever run... X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=7eaa508b294d8a3d3fa96c1b9ef78f45feec8417;hp=7eaa508b294d8a3d3fa96c1b9ef78f45feec8417;p=fiveam.git Added *num-trials*, *max-trials* and checking of whether the test code is ever run in a FOR-ALL test ---