Commit 97486d31 authored by Benoît Barbot's avatar Benoît Barbot

update scripte to cosmos

parent bd631daf
Pipeline #1631 failed with stages
in 3 minutes and 24 seconds
......@@ -198,7 +198,7 @@ def printGRML_Start(consts, clocks, distributions, external):
s+=' <attribute name=\"declaration\">\n';
s+=' <attribute name=\"constants\">\n';
s+=' <attribute name=\"intConsts\">\n';
for var,value in consts.iteritems():
for var,value in consts.items():
s+=' <attribute name=\"intConst\">\n';
s+=' <attribute name=\"name\">%s</attribute>\n' %var;
s+=' <attribute name=\"expr\"><attribute name=\"numValue\">%i</attribute></attribute>\n' %(value);
......
......@@ -6,7 +6,7 @@ import re
from exportGrML import *
## Set Parameters
prismpath="prism";
prismpath="~/Documents/prism/prismfork/prism/bin/prism";
#prismpath="/Users/barbot/Documents/discrepancy/prism-ptasmc/prism/bin/prism";
#prismpath="~/Documents/prism/prism-ptasmc/prism/bin/prism ";
......
cut -f1 $1 | gsplit -d -l 120 - periodic.signals/s_
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment