diff options
Diffstat (limited to 'Assignment2/src/start.sh')
| -rwxr-xr-x | Assignment2/src/start.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Assignment2/src/start.sh b/Assignment2/src/start.sh index d07316f..32072b5 100755 --- a/Assignment2/src/start.sh +++ b/Assignment2/src/start.sh @@ -1,13 +1,14 @@ #!/bin/bash -DOCKER_IMAGE=stormpy -DOCKER_NAME=stormpy +DOCKER_IMAGE=modelrepair +DOCKER_NAME=modelrepair docker build -q -t $DOCKER_IMAGE . || exit docker run\ --mount type=bind,source="$PWD",target=/src\ - -w /opt/storm/build/bin\ + -w /src\ --rm\ -it\ --name $DOCKER_NAME\ - $DOCKER_IMAGE + $DOCKER_IMAGE\ + $@ |