New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Segfault on NIRA #6935

Closed

merlinsun opened this issue Oct 8, 2023 · 0 comments

merlinsun commented Oct 8, 2023

Hi,
For this following instance, z3 19e9212

$ z3 small.smt2 
Segmentation fault (core dumped)
$ cat small.smt2 
(declare-const x15 Bool)
(declare-const x Real)
(declare-const x1 Real)
(declare-const x9 Bool)
(declare-fun v () Real)
(assert (forall ((r Real)) (or x9 (or (= (+ r 1.0) (mod 0 (to_int x)))))))
(assert (and (> 0.0 x1) (< x (/ 1.0 0.0 (* v v x x))) (<= 0.0 (/ 0 v))))
(check-sat)

The text was updated successfully, but these errors were encountered:

NikolajBjorner added a commit that referenced this issue


          #6935

267e9e8

NikolajBjorner closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment