PhpDeal\Functional\Invariant\Propagation\ContractTest::testInvariantValid PHP 메소드

public testInvariantValid ( integer $variable )
$variable	integer

    public function testInvariantValid($variable)
    {
        $this->stub->setVariable($variable);
    }

ContractTest