axiom-profiler icon indicating copy to clipboard operation
axiom-profiler copied to clipboard

Published 20 hours ago • verified publisher icon viperproject

Tracking of Backtracking During SMT Run

Open viper-admin opened this issue 5 years ago • 0 comments

Created by bitbucket user nilsbecker_ on 2019-02-27 20:17

Log files generated by z3 already contain information on decisions and corresponding backtracking during the model search. It may be useful to display that information, e.g. when looking at high-branching behavior.

viper-admin avatar Feb 27 '19 20:02 viper-admin