.

apalache-mc · Sep 14, 2023 · cee78ca · cee78ca
1 parent 1ab507c
commit cee78ca
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/...test/scala/at/forsyte/apalache/tla/bmcmt/stratifiedRules/aux/oracles/TestMockOracle.scala b/...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