|
| From: | Paul F. Dietz |
| Subject: | [Gcl-devel] lcm added back to random tester |
| Date: | Tue, 30 Mar 2004 06:50:53 -0600 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6b) Gecko/20031210 |
I've removed the #-gcl from the occurences of LCM in the random
form generator. This reexposes a bug in gcl related to division
by zero (and also exposes the bug that this condition isn't always being
caught by the random tester, breaking the pruner.)
Paul
| [Prev in Thread] | Current Thread | [Next in Thread] |