fix property test

Consensys · Dec 9, 2024 · 7fcce98 · 7fcce98
1 parent e3a2ee7
commit 7fcce98
Showing 1 changed file with 0 additions and 27 deletions.
diff --git a/...ava/tech/pegasys/teku/spec/logic/versions/deneb/helpers/MiscHelpersDenebPropertyTest.java b/...ava/tech/pegasys/teku/spec/logic/versions/deneb/helpers/MiscHelpersDenebPropertyTest.java
@@ -30,15 +30,13 @@
 import tech.pegasys.teku.spec.config.SpecConfigDeneb;
 import tech.pegasys.teku.spec.datastructures.blobs.versions.deneb.Blob;
 import tech.pegasys.teku.spec.datastructures.blobs.versions.deneb.BlobSidecar;
-import tech.pegasys.teku.spec.datastructures.blocks.BeaconBlock;
 import tech.pegasys.teku.spec.datastructures.blocks.SignedBeaconBlock;
 import tech.pegasys.teku.spec.datastructures.type.SszKZGProof;
 import tech.pegasys.teku.spec.logic.common.helpers.Predicates;
 import tech.pegasys.teku.spec.propertytest.suppliers.SpecSupplier;
 import tech.pegasys.teku.spec.propertytest.suppliers.blobs.versions.deneb.BlobSidecarIndexSupplier;
 import tech.pegasys.teku.spec.propertytest.suppliers.blobs.versions.deneb.BlobSidecarSupplier;
 import tech.pegasys.teku.spec.propertytest.suppliers.blobs.versions.deneb.BlobSupplier;
-import tech.pegasys.teku.spec.propertytest.suppliers.blocks.versions.deneb.BeaconBlockSupplier;
 import tech.pegasys.teku.spec.propertytest.suppliers.blocks.versions.deneb.SignedBeaconBlockSupplier;
 import tech.pegasys.teku.spec.propertytest.suppliers.type.KZGCommitmentSupplier;
 import tech.pegasys.teku.spec.propertytest.suppliers.type.SszKZGProofSupplier;
@@ -85,31 +83,6 @@ void fuzzVerifyBlobKzgProofBatch(
     }
   }
 
-  @Property(tries = 100)
-  void fuzzValidateBlobSidecarsBatchAgainstBlock(
-      @ForAll final List<@From(supplier = BlobSidecarSupplier.class) BlobSidecar> blobSidecars,
-      @ForAll(supplier = BeaconBlockSupplier.class) final BeaconBlock block,
-      @ForAll
-          final List<@From(supplier = KZGCommitmentSupplier.class) KZGCommitment> kzgCommitments) {
-    try {
-      miscHelpers.validateBlobSidecarsBatchAgainstBlock(blobSidecars, block, kzgCommitments);
-    } catch (Exception e) {
-      assertThat(e).isInstanceOf(IllegalArgumentException.class);
-    }
-  }
-
-  @Property(tries = 100)
-  void fuzzVerifyBlobSidecarCompleteness(
-      @ForAll final List<@From(supplier = BlobSidecarSupplier.class) BlobSidecar> blobSidecars,
-      @ForAll
-          final List<@From(supplier = KZGCommitmentSupplier.class) KZGCommitment> kzgCommitments) {
-    try {
-      miscHelpers.verifyBlobSidecarCompleteness(blobSidecars, kzgCommitments);
-    } catch (Exception e) {
-      assertThat(e).isInstanceOf(IllegalArgumentException.class);
-    }
-  }
-
   @Property(tries = 100)
   void fuzzConstructBlobSidecarAndVerifyMerkleProof(
       @ForAll(supplier = SignedBeaconBlockSupplier.class) final SignedBeaconBlock signedBeaconBlock,