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

Published 20 hours ago • verified publisher icon OCamlPro

[Bug] Assertion failure in lib/reasoners/shostak.ml when reasoning on bitv

Open LouisRustenholz opened this issue 3 years ago • 0 comments

Running Alt-Ergo 2.3.2 on the attached file raises the following error : Fatal error: exception File "lib/reasoners/shostak.ml", line 491, characters 12-18: Assertion failed.

bug.zip

LouisRustenholz avatar Jul 27 '20 15:07 LouisRustenholz