SMT2 back-end: report error when invoking solver fails #8378
+7
−4
Codecov / codecov/patch
failed
Jul 12, 2024 in 0s
33.33% of diff hit (target 78.35%)
View this Pull Request on Codecov
33.33% of diff hit (target 78.35%)
Annotations
Check warning on line 18 in src/solvers/smt2/smt2_dec.cpp
codecov / codecov/patch
src/solvers/smt2/smt2_dec.cpp#L18
Added line #L18 was not covered by tests
Check warning on line 147 in src/solvers/smt2/smt2_dec.cpp
codecov / codecov/patch
src/solvers/smt2/smt2_dec.cpp#L145-L147
Added lines #L145 - L147 were not covered by tests
Loading