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

Segmentation fault on QF_ANIA instance #552

Open

r0ayane opened this issue Jan 27, 2025 · 0 comments

r0ayane commented Jan 27, 2025

Hi! Yices crashes on the following QF_ANIA instance.

(set-logic QF_ANIA)
(declare-const x0 (Array (Array Bool Bool) Bool))
(declare-const x1 (Array Bool Bool))
(declare-const a (Array Bool Bool))
(assert (= (store (store x0 x1 false) (store a false false) false) (store x0 (store a true false) false)))
(assert (select a false))
(check-sat)

$ ./yices reduced.smt
Segmentation fault (core dumped)

Version:

$ ./yices --version
Yices 2.6.5
Copyright SRI International.
Linked with GMP 6.2.1
Copyright Free Software Foundation, Inc.
Build date: 2024-07-31
Platform: x86_64-pc-linux-gnu (release/static)
Revision: 8e6297e233299631147f98659224c3118fc6a215

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

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