search

TysonAndre / phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Other
0 stars 0 forks source link

Type check switch statements #89

Closed TysonAndre closed 6 years ago

TysonAndre commented 7 years ago
TysonAndre commented 6 years ago

Duplicate case statements are handled now