Disable test for now.

cmu-pasta · Apr 8, 2024 · 5658bc7 · 5658bc7
1 parent 19d8f00
commit 5658bc7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/integration-tests/src/test/java/cmu/pasta/sfuzz/it/lincheck/ConcurrentLinkedDequeTest.java b/integration-tests/src/test/java/cmu/pasta/sfuzz/it/lincheck/ConcurrentLinkedDequeTest.java
@@ -13,7 +13,7 @@ public class ConcurrentLinkedDequeTest extends IntegrationTestRunner {
     public static int t1Value = 0;
     public static int t2Value = 0;
 
-    @Test
+//    @Test
     void testLinearizedExecution() {
         runTest(() -> {
             try {