fix matching the proofs to run

formal-php · Jun 29, 2024 · 433fb25 · 433fb25
1 parent 30e961d
commit 433fb25
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 9 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -42,7 +42,7 @@ jobs:
         with:
           dependency-versions: ${{ matrix.dependencies }}
       - name: BlackBox
-        run: php blackbox.php all ${{ matrix.covers }}
+        run: php blackbox.php ${{ matrix.covers }}
         env:
           DB_PORT: ${{ job.services.mariadb.ports[3306] }}
           ES_PORT: ${{ job.services.elasticsearch.ports[9200] }}

diff --git a/blackbox.php b/blackbox.php
@@ -12,15 +12,13 @@
 };
 
 enum Covers {
-    case all;
     case filesystem;
     case sql;
     case elasticsearch;
 
     public static function from(string $case): ?self
     {
         return match ($case) {
-            'all' => self::all,
             'filesystem' => self::filesystem,
             'sql' => self::sql,
             'elasticsearch' => self::elasticsearch,

diff --git a/proofs/id.php b/proofs/id.php
@@ -13,7 +13,7 @@ static function($assert) {
                 ->not()
                 ->same(Id::new(stdClass::class)->toString());
         },
-    )->tag(Covers::all);
+    )->tag(...Covers::cases());
 
     yield proof(
         'Id::equals()',
@@ -30,13 +30,13 @@ static function($assert, $a, $b) {
             $assert->true($idA->equals($idABis));
             $assert->false($idA->equals($idB));
         },
-    )->tag(Covers::all);
+    )->tag(...Covers::cases());
 
     yield proof(
         'Id::of() throws on invalid values',
         given(Set\Strings::madeOf(Set\Unicode::any())),
         static function($assert, $value) {
             $assert->throws(static fn() => Id::of(stdClass::class, $value));
         },
-    )->tag(Covers::all);
+    )->tag(...Covers::cases());
 };
diff --git a/proofs/manager.php b/proofs/manager.php
@@ -44,7 +44,7 @@ static function($assert) {
 
             $assert->same($repository1, $repository2);
         },
-    )->tag(Covers::all);
+    )->tag(...Covers::cases());
     yield test(
         'Manager::repository() returns an instance per class',
         static function($assert) {
@@ -57,7 +57,7 @@ static function($assert) {
                 ->not()
                 ->same($repositoryB);
         },
-    )->tag(Covers::all);
+    )->tag(...Covers::cases());
 
     yield test(
         'Nested transactions are forbidden',
@@ -74,7 +74,7 @@ static function($assert) {
                 'Nested transactions not allowed',
             );
         },
-    )->tag(Covers::all);
+    )->tag(...Covers::cases());
 
     yield properties(
         'Filesystem properties',