fix Kore.Simplify.Predicate tests

runtimeverification · Jul 15, 2022 · 23f4563 · 23f4563
1 parent b7f5bb9
commit 23f4563
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kore/test/Test/Kore/Simplify/Predicate.hs b/kore/test/Test/Kore/Simplify/Predicate.hs
@@ -254,7 +254,7 @@ test_simplify =
                     )
                 )
             )
-            [[fromEquals_ (Mock.f Mock.a) (Mock.g (mkElemVar t))]]
+            [[fromEquals_ (Mock.g (mkElemVar t)) (Mock.f Mock.a)]]
         , (test "invalid assignment")
             ((fromExists x) (fromEquals_ (mkElemVar x) (Mock.f $ mkElemVar x)))
             [
@@ -327,7 +327,7 @@ test_simplify =
             ]
         , (test "variable-variable assignment")
             (fromEquals_ (mkElemVar x) (mkElemVar y))
-            [[fromEquals_ (mkElemVar x) (mkElemVar y)]]
+            [[fromEquals_ (mkElemVar y) (mkElemVar x)]]
         ]
     , testGroup
         "\\in"