mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-23 14:23:40 +00:00
Code Activity

Add early return after setting fixed subterms in sls_bv_fixed.cpp

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-09-05 15:37:00 -07:00
parent acd6f1d0ef
commit cc77ff5c28
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/sls/sls_bv_fixed.cpp
View file

@ -32,6 +32,8 @@ namespace sls {
for (auto e : ctx.subterms()) for (auto e : ctx.subterms())
set_fixed(e); set_fixed(e);
return;
for (auto lit : ctx.unit_literals()) { for (auto lit : ctx.unit_literals()) {
auto a = ctx.atom(lit.var()); auto a = ctx.atom(lit.var());
if (!a) if (!a)