Completed
Push — master ( 6d12c1...fefd2b )
by Vincenzo
03:27
created
Console/CoverageCommand.php 1 patch
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -20,7 +20,7 @@  discard block
 block discarded – undo
20 20
     public function run()
21 21
     {
22 22
         $inputFile = isset($this->args[0]) ? $this->args[0] : "clover.xml";
23
-        $targetCoverage = (int)(isset($argv[1]) ? $argv[1] : 1);
23
+        $targetCoverage = (int) (isset($argv[1]) ? $argv[1] : 1);
24 24
         $percentage = min(100, max(0, $targetCoverage));
25 25
 
26 26
         if (!file_exists($inputFile)) {
@@ -37,8 +37,8 @@  discard block
 block discarded – undo
37 37
         $checkedElements = 0;
38 38
 
39 39
         foreach ($metrics as $metric) {
40
-            $totalElements += (int)$metric['elements'];
41
-            $checkedElements += (int)$metric['coveredelements'];
40
+            $totalElements += (int) $metric['elements'];
41
+            $checkedElements += (int) $metric['coveredelements'];
42 42
         }
43 43
 
44 44
         $coverage = ($checkedElements / $totalElements) * 100;
Please login to merge, or discard this patch.