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 index 416dd6f..2d4a58b 100644 --- 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 {