docker build -t solc-z3 .
docker run -v $(pwd):$(pwd) -w $(pwd) solc-z3 {YOUR_COMMAND}
-
Notifications
You must be signed in to change notification settings - Fork 1
xBA5ED/docker-solc-z3
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Dockerfile to build an image that has solc,z3 and foundry
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published