diff --git a/test/rt/nosv/CMakeLists.txt b/test/rt/nosv/CMakeLists.txt index db1850f..c974187 100644 --- a/test/rt/nosv/CMakeLists.txt +++ b/test/rt/nosv/CMakeLists.txt @@ -42,8 +42,8 @@ nosv_test(several-tasks.c SORT) nosv_test(init-nested.c SORT) nosv_test(parallel-tasks.c SORT) nosv_test(inline.c SORT) -nosv_test(mutex.c SORT) -nosv_test(barrier.c SORT) +nosv_test(mutex.c SORT LEVEL 3) +nosv_test(barrier.c SORT LEVEL 3) # Test multiple instrumentation levels nosv_test(several-tasks.c SORT NAME several-tasks-level-0 LEVEL 0)