diff --git a/README.md b/README.md index 58145f3..5f09ab7 100644 --- 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 index fe26654..bd793cc 100644 --- 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);