From: Paul G. C. <pau...@pl...> - 2004-05-31 18:39:36
|
Colin Paul Adams wrote: >I am getting a problem with VE and SE (not with ISE). >I think it is the same problem in each case (I find it hard to >understand VE's stack trace). > > With Visual Eiffel, there is an invariant in NUMERIC that says : self_division: divisible (Current) implies equal (Current / Current, one) MA_DECIMAL.divisible reports true unless the operand is zero. The invariant shall be violated each time we have special values (Inf, Nan, etc...). This problem needs further investigations. As Eric said, there are a lot of things to fix in the library to make it more robust regarding DBC. This is the benefit of peer review. Best regards, Paul G. Crismer |