Assignment2/src/repair.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#!/bin/bash

# Usage: repair.sh MODEL.prism PROPS.properties
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..."
/opt/dtmc "$DRN" "$PROPS"