How to run dReach from Docker #310
Description
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.00100000000000000how 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.