test1554: adjust for hyper

Closes #8104

diff --git a/tests/data/DISABLED b/tests/data/DISABLED
index eaa0e20532e4a7d8c50cc4a284f0b609053f892d..d602e48fe49a399e147f7c3737f9820f4125e60b 100644 (file)
--- a/tests/data/DISABLED
+++ b/tests/data/DISABLED
@@ -65,7 +65,6 @@
 1528
 1533
 1540
-1554
 1556
 1591
 1700

diff --git a/tests/data/test1554 b/tests/data/test1554
index c16195c17f5cde31f2b043a13742574f3ade7e7b..812a2c8c02680624b1171a1caa9e7c991aad3c4b 100644 (file)
--- 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