From 53a5d2f4896c3940865d7aae4aed38546140cd11 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Mon, 20 Jul 2020 18:17:38 +0300
Subject: [PATCH] Disable one test for substructural TS (most general case of
 MPSCR-65)

---
 reactor/Test/test/TestIncrementalProgram.kt | 1 +
 1 file changed, 1 insertion(+)

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: