[IntervalCalculus] Assertion failed, line 231

[iguerNL]

Commit ID: ac84c73

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.

[Stevendeo]

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 ?

[bclement-ocp]

Same note as @Stevendeo, I cannot reproduce. This has probably been fixed sometime in the last 5 years, closing.