Skip to content

Made variable declarations optional#487

Open
arminzavada wants to merge 1 commit intomasterfrom
optional_variables
Open

Made variable declarations optional#487
arminzavada wants to merge 1 commit intomasterfrom
optional_variables

Conversation

@arminzavada
Copy link
Copy Markdown
Member

There are cases, when the the variables are fully optimized away from the XSTS model, in which case the current implementation throws a parsing exception. This should not be the case however.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 9, 2026

❗ Please modify build.gradle.kts to contain a later version than 6.28.1. Current version is 6.28.1.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 9, 2026

Release Preview

Version: 6.28.1
Tag: v6.28.1

Release Notes:

Modified subprojects (since v6.28.1):
xsts/xsts

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

@arminzavada arminzavada requested a review from mondokm April 9, 2026 23:10
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