for testing and deploying your application
for finding and fixing issues
for empowering human code reviews
<?php
namespace spec\Todo\Domain;
use Todo\Domain\Task;
use PhpSpec\ObjectBehavior;
use Prophecy\Argument;
class TaskSpec extends ObjectBehavior
{
function it_is_initializable()
$this->shouldHaveType(Task::class);
}