From 2ed448212395ac5ba9252406f7522a02a40ce659 Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptouuuu@gmail.com>
Date: Sat, 9 Nov 2024 17:31:33 +0100
Subject: [PATCH 1/3] increase the number of scenarii per proof in the CI
---
.github/workflows/ci.yml | 1 +
blackbox.php | 4 ++++
2 files changed, 5 insertions(+)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c8e31535..085be409 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -28,6 +28,7 @@ jobs:
run: php blackbox.php
env:
BLACKBOX_SET_SIZE: 20
+ CI: 'true'
coverage:
runs-on: ${{ matrix.os }}
strategy:
diff --git a/blackbox.php b/blackbox.php
index bf1804d1..5282fdda 100644
--- a/blackbox.php
+++ b/blackbox.php
@@ -24,5 +24,9 @@
)
->scenariiPerProof(1),
)
+ ->when(
+ \getenv('CI') !== false,
+ static fn(Application $app) => $app->scenariiPerProof(1_000),
+ )
->tryToProve(Load::everythingIn(__DIR__.'/proofs/'))
->exit();
From f3cd65a7fa901b86dc65933a821b8fce04fc5b7f Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptouuuu@gmail.com>
Date: Sat, 9 Nov 2024 17:34:44 +0100
Subject: [PATCH 2/3] Revert "increase the number of scenarii per proof in the
CI"
This reverts commit 2ed448212395ac5ba9252406f7522a02a40ce659.
---
.github/workflows/ci.yml | 1 -
blackbox.php | 4 ----
2 files changed, 5 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 085be409..c8e31535 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -28,7 +28,6 @@ jobs:
run: php blackbox.php
env:
BLACKBOX_SET_SIZE: 20
- CI: 'true'
coverage:
runs-on: ${{ matrix.os }}
strategy:
diff --git a/blackbox.php b/blackbox.php
index 5282fdda..bf1804d1 100644
--- a/blackbox.php
+++ b/blackbox.php
@@ -24,9 +24,5 @@
)
->scenariiPerProof(1),
)
- ->when(
- \getenv('CI') !== false,
- static fn(Application $app) => $app->scenariiPerProof(1_000),
- )
->tryToProve(Load::everythingIn(__DIR__.'/proofs/'))
->exit();
From 790208da7376a2d1a400a0d9559b46d462ba5ea8 Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptouuuu@gmail.com>
Date: Sat, 9 Nov 2024 17:35:33 +0100
Subject: [PATCH 3/3] increase the scenarii per proof when coverage enable to
better cover conditions on generated types
---
blackbox.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/blackbox.php b/blackbox.php
index bf1804d1..5b57f965 100644
--- 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();