artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Script for TGC

Browse Source
This commit is contained in:
Artur Meski
2018-10-22 20:28:23 +01:00
parent 2088994fa7
commit 3faf005445
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
in/scripts/gen_tgc_sc.py
View File

@@ -93,4 +93,11 @@ formula = "AG( proc0.in IMPLIES K[proc0]({:s}) )".format(subf)
out += PROPERTY_STR.format("f2",formula) out += PROPERTY_STR.format("f2",formula)
# f3
formula = "EF( proc0.approach"
for i in range(1, n):
formula += " AND proc{:d}.approach".format(i)
formula += " )"
out += PROPERTY_STR.format("f3",formula)
print(out) print(out)