Hi,
on the following formula Z3 throws the below assertion violation + segfault.
(declare-fun a () Int)
(assert (distinct "Good" "Good"))
(assert (> a 0 ))
(check-sat-using normalize-bounds)
ASSERTION VIOLATION
File: ../src/util/parray.h
Line: 336
i < size(r)
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
Segmentation fault
OS: Ubuntu 18.04
Commit:9f6a0a0
Hi,
on the following formula Z3 throws the below assertion violation + segfault.
OS: Ubuntu 18.04
Commit:9f6a0a0