alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

[IntervalCalculus] Assertion failed, line 231

Open iguerNL opened this issue 5 years ago • 1 comments

Commit ID: ac84c736c27b1f1d3ede360d0a36e9b40d8899b2

File: AE-format/why3-no-split/binary_multiplication-BinaryMultiplication63-VC_binary_mult.ae.zip

Reason: case-split for an integer expression extracted from the simplex is a non-integer constant, although it's equal to min/max bound.

iguerNL avatar Dec 18 '18 09:12 iguerNL

I did not manage to reproduce the error, it may have been fixed already. How long did Alt-Ergo run before raising the assertion ? Did you use any options ?

Stevendeo avatar Aug 06 '21 14:08 Stevendeo