docker build --tag z3-test --file Dockerfile .
To test single branch constraints
docker run -it z3-test /bin/bash
cd build
./z3test ../test
To test nested branch constraints
docker run -it z3-test /bin/bash
cd build
./z3ntest ../test_nested
-
Notifications
You must be signed in to change notification settings - Fork 2
chenju2k6/z3-test
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published