From d2b14cfac28f32768f1baf735c84f62a751c930b Mon Sep 17 00:00:00 2001 From: Timo Philipp Gros Date: Wed, 29 Nov 2017 17:58:43 +0100 Subject: [PATCH] skript for easier running one singe instance --- pstorm.py | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 pstorm.py diff --git a/pstorm.py b/pstorm.py new file mode 100644 index 000000000..aaa5a6b25 --- /dev/null +++ b/pstorm.py @@ -0,0 +1,15 @@ +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)