Failing test now passes with #615

informalsystems · Feb 5, 2021 · 250f405 · 250f405
1 parent 9114371
commit 250f405
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/modules/tests/model_based.rs b/modules/tests/model_based.rs
@@ -457,7 +457,7 @@ fn main() {
         "ICS02HeaderVerificationFailureTest",
         "ICS03ConnectionOpenInitOKTest",
         "ICS03MissingClientTest",
-        // "ICS03ConnectionOpenTryOKTest",
+        "ICS03ConnectionOpenTryOKTest",
         "ICS03InvalidConsensusHeightTest",
         "ICS03ConnectionNotFoundTest",
         "ICS03ConnectionMismatchTest",