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

Cleanup

Browse Source
This commit is contained in:
Artur Meski
2018-04-29 18:54:56 +01:00
parent 06a28f9e54
commit 2aadb9df33
1 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
in/gen_drs_mutex.py
View File

@@ -74,9 +74,5 @@ out += PROPERTY_STR
print(out) print(out)
# { ct={} proc1={out} }: s0 -> s1;
# { ct={} proc2={out} }: s0 -> s1;
# { ct={} proc1={} }: s1 -> s1;
# { ct={} proc2={} }: s1 -> s1;