From b998b3abf94acb472584c06809eade47eb11c003 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 21 Mar 2018 17:15:05 +0100
Subject: [PATCH] Cleanup
---
pstorm.py | 15 ---------------
1 file changed, 15 deletions(-)
delete mode 100644 pstorm.py
diff --git a/pstorm.py b/pstorm.py
deleted file mode 100644
index aaa5a6b25..000000000
--- a/pstorm.py
+++ /dev/null
@@ -1,15 +0,0 @@
-import sys
-import os
-import subprocess
-prop = ' --prop \"Pmax=? [F<1 \\"goal\\"]\" --ma:technique unifplus'
-storm= '/home/timo/ustorm/build/bin/storm'
-
-
-if len(sys.argv)<2:
- print("no input file found\n")
- exit()
-
-for a in sys.argv[1:]:
- file = " --prism " + a
- cmd = storm + file + prop
- os.system(cmd)