SMTChecker: Add command-line test for Eldarica #14965
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
r0qs
added
has dependencies
r0qs
force-pushed
the
bump-docker-images
branch
from
0bdc829 to
0484906
Compare
r0qs
force-pushed
the
bump-docker-images
branch
from
0484906 to
e99cb73
Compare
r0qs
force-pushed
the
bump-docker-images
branch
from
e99cb73 to
504de39
Compare
r0qs
force-pushed
the
bump-docker-images
branch
from
504de39 to
b5e9474
Compare
r0qs
force-pushed
the
bump-docker-images
branch
from
b5e9474 to
cff7d16
Compare
r0qs
force-pushed
the
bump-docker-images
branch
from
cff7d16 to
837e394
Compare
r0qs
force-pushed
the
bump-docker-images
branch
from
837e394 to
b3df51a
Compare
r0qs
force-pushed
the
bump-docker-images
branch
from
b3df51a to
d8914de
Compare
r0qs
force-pushed
the
bump-docker-images
branch
from
d8914de to
c1f6119
Compare
r0qs
previously approved these changes
Mar 26, 2024
|
My original idea was to create only a couple of CLI tests. I plan to add tests for computing invariants and counterexamples when I implement that functionality. But if we have Eldarica available both on Ubuntu and OSX, maybe I can add also some SMTCheckerTests that will target Eldarica specifically. I will have to check if that will be possible. |
r0qs
force-pushed
the
bump-docker-images
branch
from
c1f6119 to
1fec659
Compare
r0qs
approved these changes
Apr 2, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This adds a very basic test to verify that Eldarica can be used as the CHC backend.
Depends on #14964.