diff options
Diffstat (limited to 'assignment2/hyman.q')
| -rw-r--r-- | assignment2/hyman.q | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/assignment2/hyman.q b/assignment2/hyman.q new file mode 100644 index 0000000..0bd1a71 --- /dev/null +++ b/assignment2/hyman.q @@ -0,0 +1,6 @@ +//This file was generated from (Commercial) UPPAAL 4.0.14 (rev. 5615), May 2014 + +/* + +*/ +E<> (p1.CriticalSection && p2.CriticalSection) |