diff --git a/reactor/Test/test/TestIncrementalProgram.kt b/reactor/Test/test/TestIncrementalProgram.kt index 1920597f..b26af280 100644 --- a/reactor/Test/test/TestIncrementalProgram.kt +++ b/reactor/Test/test/TestIncrementalProgram.kt @@ -1674,6 +1674,7 @@ class TestIncrementalProgram { } } + @Ignore("waiting for complete fix to MPSCR-65") @Test fun substructuralTS_insertWriteBeforeRW() { /* Expected test program execution: