|
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] |