search

cvc5 / cvc5-projects

1 stars 0 forks source link

Fatal failure in TheoryEngineModelBuilder::buildModel() at src/theory/theory_model_builder.cpp:1038 #349

Closed aniemetz closed 2 years ago

aniemetz commented 3 years ago

cvc5/cvc5@cc4a58f5d murxla/murxla@cf030de

(set-logic ALL)
(set-option :produce-models true)
(declare-const x (Bag Bool))
(declare-const _x (Bag Bool))
(check-sat-assuming ((distinct true (= x _x))))
(get-value (false))

error:

Fatal failure within bool cvc5::theory::TheoryEngineModelBuilder::buildModel(cvc5::theory::TheoryModel*) at src/theory/theory_model_builder.cpp:1038
Check failure

 false
mudathirmahgoub commented 2 years ago

Fixed by PR https://github.com/cvc5/cvc5/pull/7743