Completed
Pull Request — master (#10)
by
unknown
03:04
created
Labels
Severity
3 files with issues
Count Path Last Found
2 src/Contract/InvariantContract.php
Bug
3 src/Contract/PostconditionContract.php
Bug
3 src/Contract/PreconditionContract.php
Bug