diff options
Diffstat (limited to 'tests/data/test1554')
| -rw-r--r-- | tests/data/test1554 | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tests/data/test1554 b/tests/data/test1554 index 8739b2c..06f1897 100644 --- a/tests/data/test1554 +++ b/tests/data/test1554 @@ -29,11 +29,11 @@ run 1: foobar and so on fun! <- Mutex unlock -> Mutex lock <- Mutex unlock +run 1: foobar and so on fun! -> Mutex lock <- Mutex unlock -> Mutex lock <- Mutex unlock -run 1: foobar and so on fun! -> Mutex lock <- Mutex unlock -> Mutex lock @@ -47,11 +47,19 @@ run 1: foobar and so on fun! <- Mutex unlock -> Mutex lock <- Mutex unlock +-> Mutex lock +<- Mutex unlock +-> Mutex lock +<- Mutex unlock run 1: foobar and so on fun! -> Mutex lock <- Mutex unlock -> Mutex lock <- Mutex unlock +-> Mutex lock +<- Mutex unlock +-> Mutex lock +<- Mutex unlock </datacheck> </reply> |