search

uuverifiers / eldarica

The Eldarica model checker
Other
80 stars 23 forks source link

(error "Invalid expression UnaryExpression(Int2BV(64),Variable(_9,Some(9)))") #38

Closed leonardoalt closed 3 years ago

leonardoalt commented 3 years ago

Sample: https://gist.github.com/leonardoalt/21598d1931cbe98a0c3ae64a1df1fded Command: eld -abstract:off -ssol Like the other issue, it correctly answers SAT (the two samples are very similar) but gives the error when computing the solution.

pruemmer commented 3 years ago

Same here