fix

SergeyBel · Jan 31, 2023 · 94aa823 · 94aa823
1 parent 25abbf6
commit 94aa823
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -31,7 +31,7 @@ These conditions are used to determine when to end the test execution. To determ
 class SimpleTest extends BaseInvariantTest
 {
     #[FinishCount(10)]
-    public function testDivision(#[IntegerGenerator(50, 101)] int $x)
+    public function testSimple(#[IntegerGenerator(50, 101)] int $x)
     {
         // fail when $x=101
         $this->assertTrue($x < 100);

diff --git a/invariants/examples/SimpleTest.php b/invariants/examples/SimpleTest.php
@@ -9,7 +9,7 @@
 class SimpleTest extends BaseInvariantTest
 {
     #[FinishCount(10)]
-    public function testDivision(#[IntegerGenerator(99, 101)] int $x)
+    public function testSimple(#[IntegerGenerator(99, 101)] int $x)
     {
         // fail when $x=101
         $this->assertTrue($x < 100);