Skip to content

Commit

Permalink
Fixed AddressAliasIdFuzzing (#9779)
Browse files Browse the repository at this point in the history
Signed-off-by: Iris Simon <iris.simon@swirldslabs.com>
Signed-off-by: Nick Poorman <nick@swirldslabs.com>
  • Loading branch information
iwsimon authored and nickpoorman committed Nov 22, 2023
1 parent caa27dd commit 953bc5b
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -171,7 +171,7 @@ public void validateSemantics(
totalFungibleTransfers < ledgerConfig.tokenTransfersMaxLen(),
TOKEN_TRANSFER_LIST_SIZE_LIMIT_EXCEEDED);
// Verify that the current total number of (counted) nft transfers does not exceed the limit
validateTrue(totalNftTransfers < ledgerConfig.nftTransfersMaxLen(), BATCH_SIZE_LIMIT_EXCEEDED);
validateTrue(totalNftTransfers <= ledgerConfig.nftTransfersMaxLen(), BATCH_SIZE_LIMIT_EXCEEDED);
}
}

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@
import static com.hedera.services.bdd.suites.leaky.LeakyCryptoTestsSuite.*;
import static com.hedera.services.bdd.suites.regression.factories.IdFuzzingProviderFactory.*;

import com.hedera.services.bdd.junit.HapiTest;
import com.hedera.services.bdd.junit.HapiTestSuite;
import com.hedera.services.bdd.spec.HapiSpec;
import com.hedera.services.bdd.suites.HapiSuite;
Expand Down Expand Up @@ -59,6 +60,7 @@ public List<HapiSpec> getSpecsInSuite() {
return List.of(addressAliasIdFuzzing(), transferToKeyFuzzing());
}

@HapiTest
private HapiSpec addressAliasIdFuzzing() {
return propertyPreservingHapiSpec("AddressAliasIdFuzzing")
.preserving(
Expand All @@ -72,6 +74,7 @@ private HapiSpec addressAliasIdFuzzing() {
.backoffSleepSecs(backoffSleepSecs::get));
}

@HapiTest
private HapiSpec transferToKeyFuzzing() {
return defaultHapiSpec("TransferToKeyFuzzing")
.given(cryptoCreate(UNIQUE_PAYER_ACCOUNT)
Expand Down

0 comments on commit 953bc5b

Please sign in to comment.