test name

apalache-mc · Sep 21, 2023 · 4405935 · 4405935
1 parent e72a405
commit 4405935
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -44,7 +44,7 @@ class TestMockOracle extends AnyFunSuite with BeforeAndAfterEach with Checkers {
     check(prop, minSuccessful(100), sizeRange(4))
   }
 
-  test("oracleValueIsEqualToIndexedValue returns a simple boolean") {
+  test("chosenValueIsEqualToIndexedValue returns a simple boolean") {
     val prop =
       forAll(maxSizeAndIndexGen) { case (fixed, index) =>
         val oracle = MockOracle.create(fixed)