diff options
| author | Camil Staps | 2018-07-06 14:08:38 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-06 14:09:08 +0200 |
| commit | 74b87e572233136ae877b2b4ee40110a12140207 (patch) | |
| tree | 2d3489c0e69e35b6d0ad84954f5c64a56d990267 /Assignment2/src/Dockerfile | |
| parent | Add properties to make transition probabilities remain in [0,1] (diff) | |
Put everything in docker
Diffstat (limited to 'Assignment2/src/Dockerfile')
| -rw-r--r-- | Assignment2/src/Dockerfile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Assignment2/src/Dockerfile b/Assignment2/src/Dockerfile index 4bec59e..a654427 100644 --- a/Assignment2/src/Dockerfile +++ b/Assignment2/src/Dockerfile @@ -1,7 +1,7 @@ FROM movesrwth/storm:travis RUN apt-get update -qq &&\ - apt-get install -qq --no-install-recommends python3-setuptools python3-pip &&\ + apt-get install -qq --no-install-recommends z3 python3-setuptools python3-pip &&\ pip3 install pytest RUN mkdir /opt/pycarl &&\ @@ -24,4 +24,8 @@ RUN apt-get update -qq &&\ ENV CLEAN_HOME=/opt/clean ENV PATH=$PATH:/opt/storm/build/bin:/opt/clean/bin:/opt/clean/exe -ENTRYPOINT /src/entry.sh + +COPY DTMC.dcl DTMC.icl Z3.dcl Z3.icl Expression.dcl Expression.icl /tmp/ +RUN cd /tmp; clm -ms -b -nt -IL Platform DTMC -o dtmc + +ENTRYPOINT ["/src/repair.sh"] |