Skip to content

Clarify usage of history variables in error messages #8456

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from

Clarify usage of history variables in error messages

83f5c48
Select commit
Loading
Failed to load commit list.
Open

Clarify usage of history variables in error messages #8456

Clarify usage of history variables in error messages
83f5c48
Select commit
Loading
Failed to load commit list.
This check has been archived and is scheduled for deletion. Learn more about checks retention
Codecov / codecov/patch failed Oct 2, 2024 in 0s

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

See this annotation in the file changed.

@codecov 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

See this annotation in the file changed.

@codecov 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

See this annotation in the file changed.

@codecov 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

See this annotation in the file changed.

@codecov 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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L2487-L2489 

Added lines #L2487 - L2489 were not covered by tests
View more details on Codecov