diff options
Diffstat (limited to 'Assignment2/src/Dockerfile')
| -rw-r--r-- | Assignment2/src/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment2/src/Dockerfile b/Assignment2/src/Dockerfile index a654427..39b3c34 100644 --- a/Assignment2/src/Dockerfile +++ b/Assignment2/src/Dockerfile @@ -26,6 +26,6 @@ ENV CLEAN_HOME=/opt/clean ENV PATH=$PATH:/opt/storm/build/bin:/opt/clean/bin:/opt/clean/exe 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 +RUN cd /tmp; clm -tst -ms -b -nt -IL Platform DTMC -o /opt/dtmc ENTRYPOINT ["/src/repair.sh"] |