Crash, potentially related to incremental solving (push-pop blocks)

[viper-admin]

Created by @mschwerhoff on 2016-09-26 12:53

The axiom profiler crashes (on Win 10 x64) if the second trace recorded in the zipped Z3 logfile is inspected, i.e. if invoked as follows:

AxiomProfiler.exe /c:2 logfile-0208-z3.log

Screenshots of the reported error messages are attached.

---

Attachments:

• logfile-0208.smt2
• ap01.jpg
• ap02.jpg
• logfile-0208-z3.zip