#!/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"