Change the implementation to use only a trait.

README.md

@@ -5,29 +5,6 @@
 Prophecy PhpUnit integrates the [Prophecy](https://github.com/phpspec/prophecy) mocking
 library with [PHPUnit](https://phpunit.de) to provide an easier mocking in your testsuite.
 
-## Usage
-
-```php
-<?php
-
-use Prophecy\PhpUnit\ProphecyTestCase;
-
-class UserTest extends ProphecyTestCase
-{
-    public function testPasswordHashing()
-    {
-        $hasher = $this->prophesize('App\Security\Hasher');
-        $user   = new App\Entity\User($hasher->reveal());
-
-        $hasher->generateHash($user, 'qwerty')->willReturn('hashed_pass');
-
-        $user->setPassword('qwerty');
-
-        $this->assertEquals('hashed_pass', $user->getPassword());
-    }
-}
-```
-
 ## Installation
 
 ### Prerequisites
@@ -45,33 +22,35 @@ You can read more about Composer on its [official webpage](https://getcomposer.o
 
 ## How to use it
 
-The special ``ProphecyTestCase`` exposes a method ``prophesize($classOrInterface = null)``
-to use Prophecy.
+The trait ``ProphecyTrait`` provides a method ``prophesize($classOrInterface = null)`` to use Prophecy.
 For the usage of the Prophecy doubles, please refer to the [Prophecy documentation](https://github.com/phpspec/prophecy).
 
-If you need to use the Prophecy integration alongside a custom base TestCase rather than the PHPUnit one, a trait is available with all the necessary logic, except the override of the PHPUnit `verifyMockObjects` method (which cannot be provided by a trait). Use it like that:
+Below is a usage example:
 
 ```php
 <?php
 
 namespace App;
 
+use PHPUnit\Framework\TestCase;
 use Prophecy\PhpUnit\ProphecyTrait;
+use App\Security\Hasher;
+use App\Entity\User;
 
-class MyCustomTest extends ExternalTestCase
+class UserTest extends TestCase
 {
     use ProphecyTrait;
 
-    protected function verifyMockObjects(): void
+    public function testPasswordHashing()
     {
-        parent::verifyMockObjects();
+        $hasher = $this->prophesize(Hasher::class);
+        $user   = new User($hasher->reveal());
 
-        $this->verifyProphecyDoubles();
-    }
+        $hasher->generateHash($user, 'qwerty')->willReturn('hashed_pass');
 
-    public function testSomething()
-    {
-        // You have the same features than when extending ProphecyTestCase now.
+        $user->setPassword('qwerty');
+
+        $this->assertEquals('hashed_pass', $user->getPassword());
     }
 }
 ```

fixtures/Error.php

@@ -2,10 +2,13 @@
 
 namespace Prophecy\PhpUnit\Tests\Fixtures;
 
-use Prophecy\PhpUnit\ProphecyTestCase;
+use PHPUnit\Framework\TestCase;
+use Prophecy\PhpUnit\ProphecyTrait;
 
-class Error extends ProphecyTestCase
+class Error extends TestCase
 {
+    use ProphecyTrait;
+
     public function testMethod()
     {
         $prophecy = $this->prophesize('stdClass');

fixtures/MockFailure.php

@@ -2,10 +2,13 @@
 
 namespace Prophecy\PhpUnit\Tests\Fixtures;
 
-use Prophecy\PhpUnit\ProphecyTestCase;
+use PHPUnit\Framework\TestCase;
+use Prophecy\PhpUnit\ProphecyTrait;
 
-class MockFailure extends ProphecyTestCase
+class MockFailure extends TestCase
 {
+    use ProphecyTrait;
+
     public function testMethod()
     {
         $prophecy = $this->prophesize('DateTime');

fixtures/SpyFailure.php

@@ -2,10 +2,13 @@
 
 namespace Prophecy\PhpUnit\Tests\Fixtures;
 
-use Prophecy\PhpUnit\ProphecyTestCase;
+use PHPUnit\Framework\TestCase;
+use Prophecy\PhpUnit\ProphecyTrait;
 
-class SpyFailure extends ProphecyTestCase
+class SpyFailure extends TestCase
 {
+    use ProphecyTrait;
+
     public function testMethod()
     {
         $prophecy = $this->prophesize('DateTime');

fixtures/Success.php

@@ -2,10 +2,13 @@
 
 namespace Prophecy\PhpUnit\Tests\Fixtures;
 
-use Prophecy\PhpUnit\ProphecyTestCase;
+use PHPUnit\Framework\TestCase;
+use Prophecy\PhpUnit\ProphecyTrait;
 
-class Success extends ProphecyTestCase
+class Success extends TestCase
 {
+    use ProphecyTrait;
+
     public function testMethod()
     {
         $prophecy = $this->prophesize('DateTime');

src/ProphecyTrait.php

@@ -46,7 +46,10 @@ protected function prophesize(?string $classOrInterface = null): ObjectProphecy
         return $this->getProphet()->prophesize($classOrInterface);
     }
 
-    private function verifyProphecyDoubles(): void
+    /**
+     * @postCondition
+     */
+    protected function verifyProphecyDoubles(): void
     {
         if ($this->prophet === null) {
             return;
@@ -64,7 +67,7 @@ private function verifyProphecyDoubles(): void
     /**
      * @after
      */
-    protected function prophecyTearDown(): void
+    protected function tearDownProphecy(): void
     {
         if (null !== $this->prophet && !$this->prophecyAssertionsCounted) {
             // Some Prophecy assertions may have been done in tests themselves even when a failure happened before checking mock objects.

tests/ProphecyTestCaseTest.php → tests/ProphecyTraitTest.php

@@ -10,9 +10,9 @@
 use Prophecy\PhpUnit\Tests\Fixtures\Success;
 
 /**
- * @covers \Prophecy\PhpUnit\ProphecyTestCase
+ * @covers \Prophecy\PhpUnit\ProphecyTrait
  */
-final class ProphecyTestCaseTest extends TestCase
+final class ProphecyTraitTest extends TestCase
 {
     protected function setUp(): void
     {