diff options
| -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 be48e02eb..06f189724 100644 --- a/tests/data/test1554 +++ b/tests/data/test1554 @@ -38,6 +38,8 @@ run 1: foobar and so on fun! <- Mutex unlock -> Mutex lock <- Mutex unlock +-> Mutex lock +<- Mutex unlock run 1: foobar and so on fun! -> Mutex lock <- Mutex unlock @@ -47,6 +49,8 @@ run 1: foobar and so on fun! <- Mutex unlock -> Mutex lock <- Mutex unlock +-> Mutex lock +<- Mutex unlock run 1: foobar and so on fun! -> Mutex lock <- Mutex unlock @@ -54,6 +58,8 @@ run 1: foobar and so on fun! <- Mutex unlock -> Mutex lock <- Mutex unlock +-> Mutex lock +<- Mutex unlock </datacheck> </reply> |