Skip to content

4123: Fix generation and visualization of UNSAT cores

Simon Barner requested to merge 4123 into master
  • Introduce ContextWrapper in order to be able to query used parameters (e.g., timeout, tracking) later
  • Remove unused SolverRun constructor that enabled passing a DSMLtoSMTTransformator (similar functionality might be re-added later to obtain are more modular transformation architecture
  • Create DSMLtoSMTTransformator and ContextWrapper only on demand, i.e. no longer as fields of SolverRun

Issue-Ref: 4123 Issue-Url: #4123 (closed)

Signed-off-by: Simon Barner barner@fortiss.org

Merge request reports