Disable Light Client model-based tests by default (#973)

* Disable model-based tests by default Signed-off-by: Thane Thomson <connect@thanethomson.com> * Add changelog entry Signed-off-by: Thane Thomson <connect@thanethomson.com>
informalsystems · Sep 17, 2021 · 12cc4bb · 12cc4bb
1 parent 086acc8
commit 12cc4bb
Show file tree

Hide file tree

Showing 3 changed files with 625 additions and 616 deletions.
diff --git a/.changelog/unreleased/improvements/968-mbt.md b/.changelog/unreleased/improvements/968-mbt.md
@@ -0,0 +1,3 @@
+- `[tendermint-light-client]` Model-based tests are now disabled
+  by default and can be enabled through the `mbt` feature
+  ([#968](https://github.com/informalsystems/tendermint-rs/issues/968))
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" }