From 02b2eb207181219c43119e9c0412133976f55787 Mon Sep 17 00:00:00 2001
From: Andrey Kuprianov <andrey@informal.systems>
Date: Tue, 31 Aug 2021 22:11:10 +0200
Subject: [PATCH] release v.0.3.0; also reenable TLC integration tests

---
 modelator/Cargo.toml                | 5 +++--
 modelator/tests/integration/main.rs | 5 +----
 2 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/modelator/Cargo.toml b/modelator/Cargo.toml
index 8b6379ed..ee54b4c6 100644
--- 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 <vitorenesduarte@gmail.com>", 
     "Andrey Kuprianov <andrey@informal.systems>",
-    "Ranadeep Biswas <ranadeep@informal.systems>"
+    "Ranadeep Biswas <ranadeep@informal.systems>",
+    "Daniel Tisdall <daniel@informal.systems>"
 ]
 
 [dependencies]
diff --git a/modelator/tests/integration/main.rs b/modelator/tests/integration/main.rs
index fcc4c784..b2a4a292 100644
--- 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) {