Roave / infection-static-analysis-plugin

:white_check_mark: :dragon_face: Static analysis on top of mutation testing - prevents escaped mutants from being invalid according to static analysis

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Allow Psalm to kill mutant on uncovered line of code.

bdsl opened this issue · comments

Similar to #486 (and perhaps more so) this might not be feasible to fix, but it does seem desirable. For some parts of many projects it's probably reasonable to decide that high type coverage with highly specific Psalm types is sufficient and unit tests are not needed.

If it'd not feasible then take this issue as documentation issue - either the issue itself can serve as documentation or I can contribute to the readme or other docs.

high type coverage with highly specific Psalm types is sufficient and unit tests are not needed.

Code should still be run at least once, unless all it produces is a static compilation output (not applicable to PHP).

Running without phpunit (solely psalm) is feasible though.