Add tests for shouldHaveReceived and shouldNotHaveReceived

Author: ruudk

tests/Mockery/MockeryBarTest.php

@@ -12,6 +12,8 @@ class MockeryBarTest extends MockeryTestCase
 
 	protected function setUp(): void
 	{
+		parent::setUp();
+
 		$this->fooMock = \Mockery::mock(Foo::class);
 	}
 
@@ -36,9 +38,17 @@ public function testExpectationMethodsAreCalled(): void
 		self::assertSame('foo', $bar->doFoo());
 	}
 
-	public function testShouldNotReceive(): void
+	public function testShouldNotReceiveAndHaveReceived(): void
 	{
 		$this->fooMock->shouldNotReceive('doFoo')->andReturn('bar');
+		$this->fooMock->shouldNotHaveReceived('doFoo');
+	}
+
+	public function testShouldReceiveAndHaveReceived(): void
+	{
+		$this->fooMock->shouldReceive('doFoo')->andReturn('bar');
+		self::assertSame('bar', $this->fooMock->doFoo());
+		$this->fooMock->shouldHaveReceived('doFoo');
 	}
 
 }