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 in cvc5::internal::NodeTemplate<false>::operator=() at src/expr/node.h:1122 #764

Open

cvc5-bot opened this issue Mar 6, 2025 · 0 comments

Labels

murxla safe-options

cvc5-bot commented Mar 6, 2025

cvc5/cvc5@cb8ccdd8
murxla/murxla@1e767a5

set-murxla-options --cvc5
48141 new
99555 set-option produce-models true
4786 mk-sort SORT_BOOL
return s1
33828 mk-const s1 "_x0"
return t1
39820 mk-const s1 "_x1"
return t2
47228 mk-value s1 true
return t3
89487 check-sat
14636 cvc5-block-model

error:

Program received signal SIGSEGV, Segmentation fault.
0x00007ffff6401a4d in cvc5::internal::NodeTemplate<false>::operator= (
    this=0x7fffffffa078, e=...) at ../src/./expr/node.h:1122

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

cvc5-bot added murxla safe-options labels

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