From f5f1fe3916ff0e542ce0c13e8c2f152bc4d21022 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Wed, 4 Mar 2020 12:53:49 +0300 Subject: [PATCH] Reproduce cause of MPSCR-45 in unification solver --- .../mps/logic/test/unification@tests.mps | 188 ++++++++++++++++++ 1 file changed, 188 insertions(+) diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps index cc4757c9..abe9bb77 100644 --- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps +++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps @@ -1454,6 +1454,194 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +