#414: fix small typos

informalsystems · Aug 6, 2020 · d65a72e · d65a72e
1 parent cb478f2
commit d65a72e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/tendermint/tests/lite-model-based.rs b/tendermint/tests/lite-model-based.rs
@@ -164,12 +164,12 @@ fn run_apalache_test(dir: &str, test: ApalacheTestCase) -> io::Result<CommandRun
 #[test]
 fn apalache_test() {
     let test = ApalacheTestCase {
-        model: "MC4_10_correct.tla".to_string(),
+        model: "MC4_4_faulty.tla".to_string(),
         test: "TestFailureInv".to_string(),
         length: None,
         timeout: None
     };
-    match run_apalache_test("./tests/support/lite-model-based", test) {
+    match run_apalache_test("tests/support/lite-model-based", test) {
         Ok(run) => {
             eprintln!("Stdout: {}", run.stdout);
             eprintln!("Stderr: {}", run.stderr)

diff --git a/tendermint/tests/support/lite-model-based/MC4_4_faulty.tla b/tendermint/tests/support/lite-model-based/MC4_4_faulty.tla
@@ -1,4 +1,4 @@
-------------------------- MODULE MC4_10_correct ---------------------------
+------------------------- MODULE MC4_4_faulty ---------------------------
 
 AllNodes == {"n1", "n2", "n3", "n4"}
 TRUSTED_HEIGHT == 1