mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-19 07:06:28 +00:00
Code Activity

Merge branch 'master' into fix-benchmark-crashes

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-06-18 13:43:54 -06:00 • committed by GitHub
commit 097372c779
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/smt/smt_model_finder.cpp
View file

@ -2163,9 +2163,6 @@ namespace smt {
}
SASSERT(is_quantifier(atom));
// Nested quantifiers as atoms are not expected but can occur
// in unsimplified formulas. Skip gracefully.
return;
}
void process_literal(expr* atom, polarity pol) {