From cee78ca1fe36e1ee7fe76c7e8df5ae55569c301d Mon Sep 17 00:00:00 2001 From: Kukovec Date: Thu, 14 Sep 2023 10:11:27 +0200 Subject: [PATCH] . --- .../tla/bmcmt/stratifiedRules/aux/oracles/TestMockOracle.scala | 3 --- 1 file changed, 3 deletions(-) diff --git a/tla-bmcmt/src/test/scala/at/forsyte/apalache/tla/bmcmt/stratifiedRules/aux/oracles/TestMockOracle.scala b/tla-bmcmt/src/test/scala/at/forsyte/apalache/tla/bmcmt/stratifiedRules/aux/oracles/TestMockOracle.scala index 92b6b7b29f..0701e0773f 100644 --- a/tla-bmcmt/src/test/scala/at/forsyte/apalache/tla/bmcmt/stratifiedRules/aux/oracles/TestMockOracle.scala +++ b/tla-bmcmt/src/test/scala/at/forsyte/apalache/tla/bmcmt/stratifiedRules/aux/oracles/TestMockOracle.scala @@ -56,7 +56,6 @@ class TestMockOracle extends AnyFunSuite with BeforeAndAfterEach with Checkers { } check(prop, minSuccessful(1000), sizeRange(4)) - } val (assertionsA, assertionsB): (Seq[TBuilderInstruction], Seq[TBuilderInstruction]) = 0 @@ -84,7 +83,6 @@ class TestMockOracle extends AnyFunSuite with BeforeAndAfterEach with Checkers { } check(prop, minSuccessful(1000), sizeRange(4)) - } test("caseAssertions always shorthands") { @@ -101,7 +99,6 @@ class TestMockOracle extends AnyFunSuite with BeforeAndAfterEach with Checkers { } check(prop, minSuccessful(1000), sizeRange(4)) - } // We don't actually need the solver in MockOracle