From 7fcce980a972b6bac0883f2b4f98dc022e13e121 Mon Sep 17 00:00:00 2001 From: Enrico Del Fante Date: Mon, 9 Dec 2024 17:51:12 +0100 Subject: [PATCH] fix property test --- .../helpers/MiscHelpersDenebPropertyTest.java | 27 ------------------- 1 file changed, 27 deletions(-) diff --git a/ethereum/spec/src/property-test/java/tech/pegasys/teku/spec/logic/versions/deneb/helpers/MiscHelpersDenebPropertyTest.java b/ethereum/spec/src/property-test/java/tech/pegasys/teku/spec/logic/versions/deneb/helpers/MiscHelpersDenebPropertyTest.java index 746c802a9d6..a55f2952b4f 100644 --- a/ethereum/spec/src/property-test/java/tech/pegasys/teku/spec/logic/versions/deneb/helpers/MiscHelpersDenebPropertyTest.java +++ b/ethereum/spec/src/property-test/java/tech/pegasys/teku/spec/logic/versions/deneb/helpers/MiscHelpersDenebPropertyTest.java @@ -30,7 +30,6 @@ 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; @@ -38,7 +37,6 @@ 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,