/** * @test */ public function itShouldCallScanAndNotWriteOnFailure() { $this->detector->scan($this->node)->shouldBeCalled()->willReturn(false); $this->detector->isBoolExpression($this->node)->shouldBeCalled()->willReturn(true); $this->analyser->foundAssumption(Argument::any(), Argument::any())->shouldNotBeCalled(); $this->analyser->foundBoolExpression()->shouldBeCalled(); $this->nodeVisitor->enterNode($this->node->reveal()); }