Skip to content

Improve solver exceptions for BoundedChecker#486

Open
mondokm wants to merge 1 commit intomasterfrom
solverexceptions
Open

Improve solver exceptions for BoundedChecker#486
mondokm wants to merge 1 commit intomasterfrom
solverexceptions

Conversation

@mondokm
Copy link
Copy Markdown
Contributor

@mondokm mondokm commented Apr 9, 2026

No description provided.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 9, 2026

❗ Please run ./gradlew applyCopyright on your branch to fix copyright headers.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 9, 2026

❗ Please run ./gradlew spotlessApply on your branch to fix formatting.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 9, 2026

Release Preview

Version: 6.28.2
Tag: v6.28.2

Release Notes:

Modified subprojects (since v6.28.1):
solver/solver
xcfa/xcfa-cli

Files to be uploaded:

upload/EmergenTheta-svcomp.zip
upload/Theta-cfa.zip
upload/Theta-chccomp.zip
upload/Theta-sts.zip
upload/Theta-svcomp.zip
upload/Theta-xsts.zip
upload/Theta-xta.zip
upload/Thorn-svcomp.zip
upload/theta-cfa-cli.jar
upload/theta-solver-smtlib-cli.jar
upload/theta-sts-cli.jar
upload/theta-xcfa-cli.jar
upload/theta-xsts-cli.jar
upload/theta-xta-cli.jar

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant