Skip to content

Avoid using checkAssumptions in non-incremental mode

Viktor Kuncak requested to merge github/fork/jad-hamza/incremental into master

Created by: jad-hamza

See: https://github.com/Z3Prover/z3/issues/5257

Merge request reports