Added *num-trials*, *max-trials* and checking of whether the test code is ever run...
authorMarco Baringer <mb@bese.it>
Fri, 20 Jan 2006 09:38:15 +0000 (10:38 +0100)
committerMarco Baringer <mb@bese.it>
Fri, 20 Jan 2006 09:38:15 +0000 (10:38 +0100)
commit7eaa508b294d8a3d3fa96c1b9ef78f45feec8417
tree16906c1a4181d88a332b15ba28f6dc657f301680
parentd213690dcb5968e7f69f754b6d00676b721737b0
Added *num-trials*, *max-trials* and checking of whether the test code is ever run in a FOR-ALL test
src/random.lisp
t/example.lisp