public function testGetGmpNegativeEncoder()
{
if (!extension_loaded('gmp')) {
$this->markTestSkipped('The GMP extension is not available.');
}
$factory = $this->getMockBuilder(PlatformFactory::CLASS)->setMethods(['isExtensionLoaded'])->getMock();
$factory->expects($this->once())->method('isExtensionLoaded')->with($this->equalTo('gmp'))->willReturn(true);
$this->assertInstanceOf('Protobuf\\Binary\\Platform\\GmpNegativeEncoder', $factory->getNegativeEncoder());
}