diff options
| author | Camil Staps | 2018-07-06 14:55:23 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-06 14:55:23 +0200 |
| commit | 16ab2568f8bd784d2426eaac0214549146cfa561 (patch) | |
| tree | 292bccbd382cb7b31aced1b6cb409d32adaa0855 /Assignment2/src/Dockerfile | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
Add minimization goals (not supported by Z3)
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"] |