release v.0.3.0; also reenable TLC integration tests

informalsystems · Aug 31, 2021 · 02b2eb2 · 02b2eb2
1 parent 49a905d
commit 02b2eb2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 6 deletions.
diff --git a/modelator/Cargo.toml b/modelator/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "modelator"
 description = "A framework and tools for model-based testing."
-version = "0.2.1"
+version = "0.3.0"
 edition = "2018"
 license    = "Apache-2.0"
 readme     = "README.md"
@@ -10,7 +10,8 @@ repository = "https://github.com/informalsystems/modelator"
 authors = [
     "Vitor Enes <[email protected]>", 
     "Andrey Kuprianov <[email protected]>",
-    "Ranadeep Biswas <[email protected]>"
+    "Ranadeep Biswas <[email protected]>",
+    "Daniel Tisdall <[email protected]>"
 ]
 
 [dependencies]

diff --git a/modelator/tests/integration/main.rs b/modelator/tests/integration/main.rs
@@ -113,10 +113,7 @@ const TLA_DIR: &str = "tests/integration/tla";
 // parallel
 static LOCK: Lazy<Mutex<()>> = Lazy::new(Mutex::default);
 
-// TODO: disabled because of non-deterministic test failures
-// see https://github.com/informalsystems/modelator/issues/43
-// #[test]
-#[allow(dead_code)]
+#[test]
 fn tlc() {
     let _guard = LOCK.lock();
     if let Err(e) = all_tests(ModelChecker::Tlc) {