Merge pull request #30 from Innmind/increase-scenarii-per-proof

Baptouuuu · web-flow · commit 8a3135d2dada · 2024-11-09T17:46:54.000+01:00
Increase the number of scenarii per proof in the CI
diff --git a/blackbox.php b/blackbox.php
@@ -22,7 +22,7 @@
                     ->dumpTo('coverage.clover')
                     ->enableWhen(true),
             )
-            ->scenariiPerProof(1),
+            ->scenariiPerProof(50),
     )
     ->tryToProve(Load::everythingIn(__DIR__.'/proofs/'))
     ->exit();

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@`
`22`	`22`	`->dumpTo('coverage.clover')`
`23`	`23`	`->enableWhen(true),`
`24`	`24`	`)`
`25`		`- ->scenariiPerProof(1),`
	`25`	`+ ->scenariiPerProof(50),`
`26`	`26`	`)`
`27`	`27`	`->tryToProve(Load::everythingIn(__DIR__.'/proofs/'))`
`28`	`28`	`->exit();`