diff options
Diffstat (limited to 'Assignment2/src/repair.sh')
| -rwxr-xr-x | Assignment2/src/repair.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Assignment2/src/repair.sh b/Assignment2/src/repair.sh index 24cbb37..f4e39a5 100755 --- a/Assignment2/src/repair.sh +++ b/Assignment2/src/repair.sh @@ -5,10 +5,12 @@ MODEL="$1" DRN="${MODEL/prism/drn}" PROPS="$2" +cd /src + echo "Arguments: $@" echo "Generating DRN..." storm --prism "$MODEL" --io:exportexplicit "$DRN" || exit echo "Repairing model..." -./dtmc "$DRN" "$PROPS" +/opt/dtmc "$DRN" "$PROPS" |