Make sure free symbols are declared in SMT2_conv after quantifier rew…
Codecov / codecov/patch
succeeded
Jul 10, 2024 in 0s
95.00% of diff hit (target 78.34%)
View this Pull Request on Codecov
95.00% of diff hit (target 78.34%)
Annotations
Check warning on line 4933 in src/solvers/smt2/smt2_conv.cpp
codecov / codecov/patch
src/solvers/smt2/smt2_conv.cpp#L4933
Added line #L4933 was not covered by tests
Loading