Uninit -> Uninitialized

informalsystems · Feb 23, 2021 · 6b66f7e · 6b66f7e
1 parent 4b0910a
commit 6b66f7e
Show file tree

Hide file tree

Showing 17 changed files with 84 additions and 84 deletions.
diff --git a/modules/tests/support/model_based/IBC.tla b/modules/tests/support/model_based/IBC.tla
@@ -30,7 +30,7 @@ ClientIds == 0..(MaxClientsPerChain - 1)
 ConnectionIds == 0..(MaxConnectionsPerChain- 1)
 \* set of possible connection states
 ConnectionStates == {
-    "Uninit",
+    "Uninitialized",
     "Init",
     "TryOpen",
     "Open"
@@ -469,7 +469,7 @@ Init ==
         heights |-> AsSetInt({})
     ] IN
     LET connectionNone == [
-        state |-> "Uninit",
+        state |-> "Uninitialized",
         chainId |-> ChainIdNone,
         clientId |-> ClientIdNone,
         connectionId |-> ConnectionIdNone,

diff --git a/modules/tests/support/model_based/ICS03.tla b/modules/tests/support/model_based/ICS03.tla
@@ -8,7 +8,7 @@ ICS03_GetConnection(connections, connectionId) ==
 
 \* check if `connectionId` exists
 ICS03_ConnectionExists(connections, connectionId) ==
-    ICS03_GetConnection(connections, connectionId).state /= "Uninit"
+    ICS03_GetConnection(connections, connectionId).state /= "Uninitialized"
 
 \* update `connectionId`'s data
 ICS03_SetConnection(connections, connectionId, connection) ==

diff --git a/modules/tests/support/model_based/tests/ICS02ClientNotFoundTest.json b/modules/tests/support/model_based/tests/ICS02ClientNotFoundTest.json
@@ -20,7 +20,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -40,7 +40,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -71,7 +71,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -91,7 +91,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1

diff --git a/modules/tests/support/model_based/tests/ICS02CreateOKTest.json b/modules/tests/support/model_based/tests/ICS02CreateOKTest.json
@@ -20,7 +20,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -40,7 +40,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -73,7 +73,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 2
@@ -93,7 +93,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1

diff --git a/modules/tests/support/model_based/tests/ICS02HeaderVerificationFailureTest.json b/modules/tests/support/model_based/tests/ICS02HeaderVerificationFailureTest.json
@@ -20,7 +20,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -40,7 +40,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -73,7 +73,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 2
@@ -93,7 +93,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -126,7 +126,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 2
@@ -146,7 +146,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1

diff --git a/modules/tests/support/model_based/tests/ICS02UpdateOKTest.json b/modules/tests/support/model_based/tests/ICS02UpdateOKTest.json
@@ -20,7 +20,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -40,7 +40,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -73,7 +73,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 2
@@ -93,7 +93,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -127,7 +127,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 3
@@ -147,7 +147,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1

diff --git a/modules/tests/support/model_based/tests/ICS03ConnectionMismatchTest.json b/modules/tests/support/model_based/tests/ICS03ConnectionMismatchTest.json
@@ -20,7 +20,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -40,7 +40,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -73,7 +73,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 2
@@ -93,7 +93,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -155,7 +155,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -220,7 +220,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1

diff --git a/modules/tests/support/model_based/tests/ICS03ConnectionNotFoundTest.json b/modules/tests/support/model_based/tests/ICS03ConnectionNotFoundTest.json
@@ -20,7 +20,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -40,7 +40,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -73,7 +73,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 2
@@ -93,7 +93,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -130,7 +130,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 2
@@ -150,7 +150,7 @@
             "connectionId": -1,
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1

diff --git a/modules/tests/support/model_based/tests/ICS03ConnectionOpenAckOKTest.json b/modules/tests/support/model_based/tests/ICS03ConnectionOpenAckOKTest.json
@@ -22,7 +22,7 @@
             "counterpartyChainId": "-1",
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -44,7 +44,7 @@
             "counterpartyChainId": "-1",
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -79,7 +79,7 @@
             "counterpartyChainId": "-1",
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 2
@@ -101,7 +101,7 @@
             "counterpartyChainId": "-1",
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -167,7 +167,7 @@
             "counterpartyChainId": "-1",
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 1
@@ -234,7 +234,7 @@
             "counterpartyChainId": "-1",
             "counterpartyClientId": -1,
             "counterpartyConnectionId": -1,
-            "state": "Uninit"
+            "state": "Uninitialized"
           }
         },
         "height": 2