Fix integration tests

apalache-mc · Oct 18, 2023 · d697805 · d697805
1 parent 62de8be
commit d697805
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/test/tla/ChangRobertsTyped_Test.tla b/test/tla/ChangRobertsTyped_Test.tla
@@ -158,7 +158,6 @@ GlobalCorrectness == []Correctness
 \* @testOption("tool", "apalache")
 \* @testOption("search.smt.timeout", 10)
 \* @testOption("checker.algo", "offline")
-\* @testOption("checker.nworkers", 2)
 TestExec_n0_n1_with_options ==
     TestExec_n0_n1
 

diff --git a/test/tla/cli-integration-tests.md b/test/tla/cli-integration-tests.md
@@ -3817,7 +3817,6 @@ checker {
     length=0
     max-error=1
     no-deadlocks=false
-    nworkers=1
     smt-encoding {
         type=oopsla-19
     }