Disable model-based tests by default

Signed-off-by: Thane Thomson <connect@thanethomson.com>
informalsystems · Sep 15, 2021 · cb9bdd2 · cb9bdd2
1 parent 80559bd
commit cb9bdd2
Show file tree

Hide file tree

Showing 2 changed files with 622 additions and 616 deletions.
diff --git a/light-client/Cargo.toml b/light-client/Cargo.toml
@@ -37,6 +37,8 @@ unstable = []
 std = [
     "flex-error/std"
 ]
+# Enable to execute long-running model-based tests
+mbt = []
 
 [dependencies]
 tendermint = { version = "0.21.0", path = "../tendermint" }