diff options
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"] |