Make sure free symbols are declared in SMT2_conv after quantifier rew…
Codecov / codecov/patch
succeeded
Jul 5, 2024 in 1s
84.61% of diff hit (target 78.28%)
View this Pull Request on Codecov
84.61% of diff hit (target 78.28%)
Annotations
Check warning on line 4921 in src/solvers/smt2/smt2_conv.cpp
codecov / codecov/patch
src/solvers/smt2/smt2_conv.cpp#L4921
Added line #L4921 was not covered by tests
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