diff options
Diffstat (limited to 'tests/data/test1554')
-rw-r--r-- | tests/data/test1554 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/data/test1554 b/tests/data/test1554 index c16195c17..812a2c8c0 100644 --- a/tests/data/test1554 +++ b/tests/data/test1554 @@ -69,6 +69,12 @@ run 1: foobar and so on fun! <- Mutex unlock -> Mutex lock <- Mutex unlock +%if hyper +-> Mutex lock +<- Mutex unlock +-> Mutex lock +<- Mutex unlock +%endif run 1: foobar and so on fun! -> Mutex lock <- Mutex unlock |