From ac64050f534efcd12dceea9c8994d50256418af2 Mon Sep 17 00:00:00 2001
From: Abdelrahman Abounegm <abounegm.abdelrahman@gmail.com>
Date: Fri, 29 Dec 2023 00:57:58 +0300
Subject: [PATCH] Update tests

---
 eo-phi-normalizer/test/eo/phi/normal-1.yaml |  6 +++---
 eo-phi-normalizer/test/eo/phi/normal-2.yaml |  6 +++---
 eo-phi-normalizer/test/eo/phi/test.yaml     | 11 ++++-------
 3 files changed, 10 insertions(+), 13 deletions(-)

diff --git a/eo-phi-normalizer/test/eo/phi/normal-1.yaml b/eo-phi-normalizer/test/eo/phi/normal-1.yaml
index 758437236..053ba0630 100644
--- a/eo-phi-normalizer/test/eo/phi/normal-1.yaml
+++ b/eo-phi-normalizer/test/eo/phi/normal-1.yaml
@@ -1,7 +1,7 @@
-name: "Program in normal form (1)"
+name: 'Program in normal form (1)'
 input: |
   {}
 normalized: |
-  {}
+  { ν ↦ { Δ ⤍ 0 } }
 prettified: |
-  { }
+  { ν ↦ { Δ ⤍ 0 } }
diff --git a/eo-phi-normalizer/test/eo/phi/normal-2.yaml b/eo-phi-normalizer/test/eo/phi/normal-2.yaml
index 2420abe2f..5b885cbe2 100644
--- a/eo-phi-normalizer/test/eo/phi/normal-2.yaml
+++ b/eo-phi-normalizer/test/eo/phi/normal-2.yaml
@@ -1,7 +1,7 @@
-name: "Program in normal form (2)"
+name: 'Program in normal form (2)'
 input: |
   { φ ↦ { φ ↦ { φ ↦ { } } } }
 normalized: |
-  { φ ↦ { φ ↦ { φ ↦ { } } } }
+  { ν ↦ { Δ ⤍ 3 }, φ ↦ { ν ↦ { Δ ⤍ 2 }, φ ↦ { ν ↦ { Δ ⤍ 1 }, φ ↦ { ν ↦ { Δ ⤍ 0 } } } } }
 prettified: |
-  { φ ↦ { φ ↦ { φ ↦ { } } } }
+  { ν ↦ { Δ ⤍ 3 }, φ ↦ { ν ↦ { Δ ⤍ 2 }, φ ↦ { ν ↦ { Δ ⤍ 1 }, φ ↦ { ν ↦ { Δ ⤍ 0 } } } } }
diff --git a/eo-phi-normalizer/test/eo/phi/test.yaml b/eo-phi-normalizer/test/eo/phi/test.yaml
index 741ee8506..07ebcb315 100644
--- a/eo-phi-normalizer/test/eo/phi/test.yaml
+++ b/eo-phi-normalizer/test/eo/phi/test.yaml
@@ -1,10 +1,7 @@
-name: "Simple static attribute reference"
+name: 'Simple static attribute reference'
 input: |
-  { φ ↦ {   } , a ↦ ξ.φ }
+  { φ ↦ { } , a ↦ ξ.φ }
 normalized: |
-  {
-    φ ↦ {},
-    a ↦ {}
-  }
+  { ν ↦ { Δ ⤍ 1 }, φ ↦ { ν ↦ { Δ ⤍ 0 } }, a ↦ ξ.φ }
 prettified: |
-  { φ ↦ { }, a ↦ ξ.φ }
+  { ν ↦ { Δ ⤍ 1 }, φ ↦ { ν ↦ { Δ ⤍ 0 } }, a ↦ ξ.φ }