-
Simon Barner authored
* Do not access Z3 BoolExpr's returned by Solver.getUnsatCore() after the Solver object is out of scope and subject to garbage collection * Obviously, the BoolExprs are created by native code that is of course not aware of any additional references to the array returned by getUnsatCore() * Instead, extractFailedConstraints() performs the Z3 BoolExpr -> DSML SMTConstraint translation during the lifetime of the solver. Issue-Ref: 3566 Issue-Url: https://af3-developer.fortiss.org/issues/3566 Signed-off-by: Simon Barner <barner@fortiss.org>
cfcfac7b