New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

How to run dReach from Docker #310

Open

akaph2p opened this issue Oct 20, 2023 · 0 comments

akaph2p commented Oct 20, 2023

I am running Docker on windows 10. I have succesfully ran smt2 files using dreal like so

docker run --rm -v "/c/Users/user:/tmp" dreal/dreal3 dReal /tmp/bouncingball.smt2
delta-sat with delta = 0.00100000000000000

how do I run dReach for this file? when i try to call dReach it gives me the following errors:

docker run --rm -v "/c/Users/user:/tmp" dreal/dreal3 dReach /tmp/bouncingball.drh
docker: Error response from daemon: failed to create task for container: failed to create shim task: OCI runtime create failed: runc create failed: unable to start container process: exec: "dReach": executable file not found in $PATH: unknown.

akaph2p changed the title ~~HOw to run dReach from Docker~~ How to run dReach from Docker

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