Failing MBT test now passes with #615

informalsystems · Feb 5, 2021 · f2194cf · f2194cf
1 parent 095433e
commit f2194cf
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",