(error "Failed to reconstruct array model")

Question

(error "Failed to reconstruct array model")

Closed this issue 3 years ago · 5 comments

Using the new nightly on the benchmark below (which should be unsat) I get (error "Failed to reconstruct array model")
https://raw.githubusercontent.com/leonardoalt/chc_benchmarks_solidity/main/array.smt2

Answer 1 · 2022-01-19T08:58:34.000Z

This should be fixed in the latest version! Thanks for the bug reports, they were very useful for located problems with the new array solver, and fixing them ...

Answer 2 · 2022-01-19T09:31:46.000Z

Happy to report whatever I find!

Answer 3 · 2022-01-19T16:42:14.000Z

Hi @pruemmer , it looks like the latest nightly isn't shipping the target folder with the jar

Answer 4 · 2022-01-20T10:01:52.000Z

Hm, apparently the build that night did not succeed; but I just checked, and the latest version includes the jar file!

Answer 5 · 2022-01-20T12:19:30.000Z

Ah yes, confirm that it's there and solves the issue!
Thanks!