Clarify usage of history variables in error messages
0.00% of diff hit (target 78.38%)
View this Pull Request on Codecov
0.00% of diff hit (target 78.38%)
Annotations
Check warning on line 2479 in src/solvers/smt2/smt2_conv.cpp
codecov / codecov/patch
src/solvers/smt2/smt2_conv.cpp#L2479
Added line #L2479 was not covered by tests
Check warning on line 2481 in src/solvers/smt2/smt2_conv.cpp
codecov / codecov/patch
src/solvers/smt2/smt2_conv.cpp#L2481
Added line #L2481 was not covered by tests
Check warning on line 2483 in src/solvers/smt2/smt2_conv.cpp
codecov / codecov/patch
src/solvers/smt2/smt2_conv.cpp#L2483
Added line #L2483 was not covered by tests
Check warning on line 2485 in src/solvers/smt2/smt2_conv.cpp
codecov / codecov/patch
src/solvers/smt2/smt2_conv.cpp#L2485
Added line #L2485 was not covered by tests
Check warning on line 2489 in src/solvers/smt2/smt2_conv.cpp
codecov / codecov/patch
src/solvers/smt2/smt2_conv.cpp#L2487-L2489
Added lines #L2487 - L2489 were not covered by tests