This repository has been archived by the owner on Feb 13, 2025. It is now read-only.

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

Open

viper-admin opened this issue Sep 26, 2016 · 0 comments

Labels

bug major

Member

viper-admin commented Sep 26, 2016

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:

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

viper-admin added major bug labels

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