From 16ab2568f8bd784d2426eaac0214549146cfa561 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 6 Jul 2018 14:55:23 +0200
Subject: Add minimization goals (not supported by Z3)

---
 Assignment2/src/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Assignment2/src/Dockerfile')

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"]
-- 
cgit v1.2.3