1 files changed, 14 insertions, 0 deletions
diff --git a/Assignment2/src/repair.sh b/Assignment2/src/repair.sh
new file mode 100755
index 0000000..24cbb37
--- /dev/null
+++ b/Assignment2/src/repair.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+# Usage: repair.sh MODEL.prism PROPS.properties
+MODEL="$1"
+DRN="${MODEL/prism/drn}"
+PROPS="$2"
+
+echo "Arguments: $@"
+
+echo "Generating DRN..."
+storm --prism "$MODEL" --io:exportexplicit "$DRN" || exit
+
+echo "Repairing model..."
+./dtmc "$DRN" "$PROPS"