sergiors / prelude

Passed

Push — master ( 801b1b...bef855 )

by Sérgio

created 2017-04-24 17:54 UTC

Labels

Severity

13 files with issues

Count	Path	Last Found
1	benchmarks/EqualsBench.php Coding Style Compatibility	2017-01-13 17:12 UTC
1	benchmarks/IfElseBench.php Coding Style Compatibility	2017-01-23 15:48 UTC
1	benchmarks/PartialBench.php Coding Style Compatibility	2016-12-06 18:08 UTC
1	src/allPass.php Duplication	2017-01-13 17:12 UTC
1	src/anyPass.php Duplication	2017-01-13 17:12 UTC
2	src/maybe.php Coding Style Compatibility	2016-11-17 05:13 UTC
2	src/reduce.php Bug Unused Code	2017-01-13 17:12 UTC
1	tests/GteTest.php Duplication	2017-01-13 17:12 UTC
1	tests/LteTest.php Duplication	2017-01-13 17:12 UTC
1	tests/MaybeTest.php Unused Code	2016-11-17 05:13 UTC