diff options
| author | Camil Staps | 2015-09-09 22:17:18 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-09-09 22:17:18 +0200 |
| commit | 40dbd4e5cc0a28711af6f9de4c27ce236072d3dc (patch) | |
| tree | 74c44fc77671d9ca781fe46e5241b008a74148cd /assignment2/hyman.q | |
| parent | Assignment 1 (diff) | |
Organisation; assignment 2
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) |