Skip to content

fix(fork): support single base-anvil rev for multi-hardfork fork tests (Beryl backport) - #216

Closed
rayyan224 wants to merge 2 commits into
mainfrom
beryl-harness-patch
Closed

fix(fork): support single base-anvil rev for multi-hardfork fork tests (Beryl backport)#216
rayyan224 wants to merge 2 commits into
mainfrom
beryl-harness-patch

Conversation

@rayyan224

Copy link
Copy Markdown
Collaborator

Summary

Cherry-picks two changes onto v1.0.0 to let the frozen Beryl test suite run correctly against the new shared base-anvil revision (98e7839c) used in base/base BOP-585.

Changes:

  • d5c88cb feat(fork): select Base upgrade via BASE_UPGRADE env — harness reads BASE_UPGRADE env var and forwards --base <upgrade> to anvil, so one base-anvil binary can be tested against each frozen historical suite. Cherry-picked from 4571b325 (PR feat(fork): select Base upgrade via BASE_UPGRADE env #215).
  • 66008b9 fix(fork): pin fork profile to base = "beryl" for Beryl harness — changes base = truebase = "beryl" in foundry.toml's [profile.fork]. The new base-anvil's DEFAULT_BASE_UPGRADE is Cobalt, so base = true was silently running forge's local precompile dispatcher at V2 (Cobalt) instead of V1 (Beryl), causing 14 test failures in the v1.0.0 suite.

Test plan

  • Beryl fork tests pass with base-anvil 98e7839c + --base beryl via base/base PR #4865
  • No Solidity source or test files changed — only script/fork/__main__.py, script/fork/README.md, and foundry.toml

🤖 Generated with Claude Code

rayyan224 and others added 2 commits September 2, 2026 16:31
The fork harness hardcoded a bare `--base`, always registering base-anvil's
default upgrade. Read an optional BASE_UPGRADE env var and forward it as
`--base <upgrade>` so a single current base-anvil revision can be tested
against each frozen historical suite. Unset preserves today's behavior.

Co-authored-by: Claude <noreply@anthropic.com>
The new base-anvil's default upgrade is Cobalt, so `base = true` in
the fork profile resolves to Cobalt — forge's local precompile
dispatcher ran V2 even when the test suite targeted Beryl behavior.
Pinning to "beryl" makes forge install V1 dispatch, matching the
frozen test expectations in the v1.0.0 snapshot.

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
@github-actions

github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown

Interface Coverage

✅ All interface functions have test coverage.

@github-actions

github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown

📊 Forge Coverage (src/lib/)

🟡 ≥95% across all metrics — some metrics below 99%.

File Lines Stmts Branches Funcs
🟡 B20FactoryLib.sol 97.70% 98.00% 100.00% 95.00%
🔴 test/lib/ForceFeeder.sol 0.00% 0.00% 100.00% 0.00%
🔴 test/lib/PrecompileProbe.sol 0.00% 0.00% 0.00% 0.00%
🟢 MockActivationRegistry.sol 100.00% 100.00% 100.00% 100.00%
🟢 MockActivationRegistryStorage.sol 100.00% 100.00% 100.00% 100.00%
🟢 MockB20.sol 100.00% 100.00% 100.00% 100.00%
🟢 MockB20Asset.sol 100.00% 100.00% 100.00% 100.00%
🟡 MockB20Factory.sol 98.96% 99.10% 100.00% 100.00%
🟢 MockB20Stablecoin.sol 100.00% 100.00% 100.00% 100.00%
🟢 MockB20Storage.sol 100.00% 100.00% 100.00% 100.00%
🟡 MockPolicyRegistry.sol 100.00% 99.54% 97.67% 100.00%
🟢 MockPolicyRegistryStorage.sol 100.00% 100.00% 100.00% 100.00%
Total 97.07% 97.52% 98.16% 97.00%

Full report: download artifact. To browse locally: make coverage (runs forge coverage + genhtml + opens the HTML report).

@rayyan224

Copy link
Copy Markdown
Collaborator Author

Closing — this PR incorrectly targets main from a v1.0.0-based branch. Reopening as cherry-picks onto main.

@rayyan224 rayyan224 closed this Sep 3, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

beryl-harness-patch

Comment thread foundry.toml
int_types = "long"

[lint]
ignore = ["test/unit/**/*.sol", "test/regression/**/*.sol", "test/lib/*.sol"]

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

beryl-harness-patch

@github-actions

github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown

⚠️ Fork tests: 256 failed, 597 passed

These failures indicate divergences where base/base needs to catch up to the base-std spec. This check is advisory and does not block merging.

Failing tests
  • test_cancelUIMultiplierUpdate_revert_matured(uint256): custom error 0x628e600f; counterexample: calldata=0xea4532b30000000000000000000000000000000000000000000000001ec162a10739f5d7 args=[2216160935393490391 [2.216e18]]
  • test_cancelUIMultiplierUpdate_revert_unauthorized(address): custom error 0x628e600f; counterexample: calldata=0x22f9091c000000000000000000000000a9a800a732f4a0d49b9a13bb2e8df78605764f2d args=[0xa9a800A732f4A0d49B9A13BB2E8df78605764f2D]
  • test_cancelUIMultiplierUpdate_success_clearsPending(uint256,uint256): custom error 0x628e600f; counterexample: calldata=0x8e8d7788000000000000000000000000000000000000000000c28c841f38c693a5945555000000012dc200bb07deb05f7809f3ad6310a19afe6922dadfc27a7af7b86340 args=[235195177532823891195745621 [2.351e26], 31778807937276785071579366889566628853587936491222041224822451102528 [3.177e67]]
  • test_cancelUIMultiplierUpdate_success_emitsEvent(uint256,uint256): custom error 0x628e600f; counterexample: calldata=0xd24efe3300000000000000000000000000000000000000000000000000000000000000070000000000000000000000000000000000000000000000000000000000000028 args=[7, 40]
  • test_cancelUIMultiplierUpdate_success_leavesCurrentUntouched(uint256): custom error 0x628e600f; counterexample: calldata=0xaf9143730000000000000000000000000000000000000000002cdbdd9b11cb63b0bf0486 args=[54231022227168205310198918 [5.423e25]]
  • test_childrenSlot_success_locatesChildArray(uint8): custom error 0x6fdd1491; counterexample: calldata=0x69fce7760000000000000000000000000000000000000000000000000000000000000002 args=[2]
  • test_compositePolicyChildIds_success_emptyForMalformedId(uint64): custom error 0x7c40df74; counterexample: calldata=0x1ae49a5d000000000000000000000000000000000000000000000000000000000000009c args=[156]
  • test_compositePolicyChildIds_success_emptyForUncreated(uint64): custom error 0x7c40df74; counterexample: calldata=0x2654166700000000000000000000000000000000000000000000000000000000a290249b args=[2727355547 [2.727e9]]
  • test_conversion_deprecated_stillDialable(uint256): custom error 0x3248d4ff; counterexample: calldata=0x5f1549560000000000000000000000000000000000000000000000000000000000001bb3 args=[7091]
  • test_createCompositePolicy_revertOrder(uint8): custom error 0x6fdd1491; counterexample: calldata=0x5fafe4f70000000000000000000000000000000000000000000000000000000000000014 args=[20]
  • test_createCompositePolicy_revert_builtinChild(address,address,uint8): Error != expected error: custom error 0x6fdd1491 != InvalidChildPolicy(0); counterexample: calldata=0x87108a4b0000000000000000000000003577d53aff9e2bca87a374e28f71987c2ceccbbb000000000000000000000000fb0e3b508a06684cc6bd359fb7a25f3577f824520000000000000000000000000000000000000000000000000000000000000013 args=[0x3577d53aFf9e2bca87a374E28f71987C2CeCCBBb, 0xfb0e3B508A06684cc6bD359fb7A25f3577F82452, 19]
  • test_createCompositePolicy_revert_childPoliciesOutsideOfRange(address,address,uint8,uint8): Error != expected error: custom error 0x6fdd1491 != ChildPoliciesOutsideOfRange(); counterexample: calldata=0xb8466436000000000000000000000000cb00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000359b00000000000000000000000000000000000000000000000000000000000000660000000000000000000000000000000000000000000000000000000000000040 args=[0xCB00000000000000000000000000000000000000, 0x000000000000000000000000000000000000359b, 102, 64]
  • test_createCompositePolicy_revert_incompatiblePolicyType(address,address,uint8): Error != expected error: custom error 0x6fdd1491 != IncompatiblePolicyType(); counterexample: calldata=0x973269250000000000000000000000000000000000000000000000000000000000001f79000000000000000000000000cb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003 args=[0x0000000000000000000000000000000000001f79, 0xCB00000000000000000000000000000000000000, 3]
  • test_createCompositePolicy_revert_invalidChildPolicy(address,address,uint8): custom error 0x6fdd1491; counterexample: calldata=0x7416f459000000000000000000000000870a77df446a9ff5a110954b68fd93b1a7db81f10000000000000000000000002499767e821d89af1f7ca2e301edebf8cc8c1d6e0000000000000000000000000000000000000000000000000000000000000007 args=[0x870a77dF446A9FF5A110954b68fd93B1A7Db81f1, 0x2499767E821D89Af1F7Ca2E301EDEbF8CC8c1d6E, 7]
  • test_createCompositePolicy_revert_policyNotFound(address,address,uint8,uint64): Error != expected error: custom error 0x6fdd1491 != PolicyNotFound(); counterexample: calldata=0x1803f605000000000000000000000000a1f16269ee48971984a19219517d54081ad0c672000000000000000000000000c2a2e6af97513cec3bd8a16d9c54548067d96e050000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001a59671e9a7 args=[0xA1f16269Ee48971984a19219517D54081ad0c672, 0xc2A2e6af97513CeC3bD8A16D9C54548067d96e05, 0, 1810705279399 [1.81e12]]
  • test_createCompositePolicy_revert_zeroAdmin(address,uint8): Error != expected error: custom error 0x6fdd1491 != ZeroAddress(); counterexample: calldata=0xb18b5cb10000000000000000000000009c8236f50e2c5617c88a0fffecf18f606d1187630000000000000000000000000000000000000000000000000000000000000000 args=[0x9C8236f50e2C5617C88A0fFFecf18f606d118763, 0]
  • test_createCompositePolicy_success_advancesNextPolicyId(address,uint8,uint8): custom error 0x6fdd1491; counterexample: calldata=0xf9a1ca77000000000000000000000000000000000000000000000000000000000000344d000000000000000000000000000000000000000000000000000000000000009e00000000000000000000000000000000000000000000000000000000000000a8 args=[0x000000000000000000000000000000000000344d, 158, 168]
  • test_createCompositePolicy_success_atMaxChildren(address,address,uint8): custom error 0x6fdd1491; counterexample: calldata=0x296e33410000000000000000000000000000000000000000000000000000000000003be1000000000000000000000000b20f00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f9 args=[0x0000000000000000000000000000000000003BE1, 0xB20f000000000000000000000000000000000000, 249]
  • test_createCompositePolicy_success_emitsCompositePolicyUpdated(address,address,uint8): log != expected log; counterexample: calldata=0x1694cfe00000000000000000000000000000000000000000000000000000000000000779000000000000000000000000845300000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000f5 args=[0x0000000000000000000000000000000000000779, 0x8453000000000000000000000000000000000002, 245]
  • test_createCompositePolicy_success_emitsInitialPolicyAdminUpdated(address,address,uint8): log != expected log; counterexample: calldata=0xd6a6c2b200000000000000000000000072fae54f2b0196ac83cdbe4eacdc4c720fc6d5b70000000000000000000000003b12ec205c426db2bb548054018a47e028ee426e0000000000000000000000000000000000000000000000000000000000000003 args=[0x72FAE54f2b0196ac83CDbE4eaCdc4c720Fc6d5b7, 0x3b12Ec205C426DB2BB548054018a47e028EE426e, 3]
  • test_createCompositePolicy_success_emitsPolicyCreated(address,address,uint8): log != expected log; counterexample: calldata=0x89031165000000000000000000000000e592b887d85c17a37cc4692fa17387ca66e1ea370000000000000000000000008f6ed311270c4a02b3c3fa4ec371799f93b1a6ad0000000000000000000000000000000000000000000000000000000000000000 args=[0xe592B887D85c17a37CC4692fa17387Ca66E1ea37, 0x8F6Ed311270c4A02b3C3fa4ec371799f93b1a6ad, 0]
  • test_createCompositePolicy_success_intersect(address,address): custom error 0x6fdd1491; counterexample: calldata=0xccbe0bd4000000000000000000000000ca92b84e8f569a6f875b8470af56448f20b5779800000000000000000000000011097a61e1ef6bc518c1155732f2f2cbb5c55810 args=[0xCa92B84e8F569A6f875B8470af56448f20B57798, 0x11097A61e1Ef6BC518C1155732F2f2CbB5C55810]
  • test_createCompositePolicy_success_union(address,address): custom error 0x6fdd1491; counterexample: calldata=0xd748b1fe000000000000000000000000da499ba6cc47e9cf371f93585b36a3dff10425650000000000000000000000002dc792ca40332b1c83d4ba5e5f934c3db1e7631a args=[0xDa499Ba6Cc47e9Cf371f93585B36a3dfF1042565, 0x2dc792ca40332B1c83d4BA5E5f934C3dB1e7631a]
  • test_createPolicyWithAccounts_revertOrder(address,address,uint8,uint8): Error != expected error: custom error 0xa2d3044f: type check failed for "(address,uint8,address[])" with data: 000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000470000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000100100000000000000000000000000000000000000000000000000000000000010020000000000000000000000000000000000000000000000000000000000001003000000000000000000000000000000000000000000000000000000000000100400000000000000000000000000000000000000000000000000000000000010050000000000000000000000000000000000000000000000000000000000001006000000000000000000000000000000000000000000000000000000000000100700000000000000000000000000000000000000000000000000000000000010080000000000000000000000000000000000000000000000000000000000001009000000000000000000000000000000000000000000000000000000000000100a000000000000000000000000000000000000000000000000000000000000100b000000000000000000000000000000000000000000000000000000000000100c000000000000000000000000000000000000000000000000000000000000100d000000000000000000000000000000000000000000000000000000000000100e000000000000000000000000000000000000000000000000000000000000100f0000000000000000000000000000000000000000000000000000000000001010000000000000000000000000000000000000000000000000000000000000101100000000000000000000000000000000000000000000000000000000000010120000000000000000000000000000000000000000000000000000000000001013000000000000000000000000000000000000000000000000000000000000101400000000000000000000000000000000000000000000000000000000000010150000000000000000000000000000000000000000000000000000000000001016000000000000000000000000000000000000000000000000000000000000101700000000000000000000000000000000000000000000000000000000000010180000000000000000000000000000000000000000000000000000000000001019000000000000000000000000000000000000000000000000000000000000101a000000000000000000000000000000000000000000000000000000000000101b000000000000000000000000000000000000000000000000000000000000101c000000000000000000000000000000000000000000000000000000000000101d000000000000000000000000000000000000000000000000000000000000101e000000000000000000000000000000000000000000000000000000000000101f0000000000000000000000000000000000000000000000000000000000001020000000000000000000000000000000000000000000000000000000000000102100000000000000000000000000000000000000000000000000000000000010220000000000000000000000000000000000000000000000000000000000001023000000000000000000000000000000000000000000000000000000000000102400000000000000000000000000000000000000000000000000000000000010250000000000000000000000000000000000000000000000000000000000001026000000000000000000000000000000000000000000000000000000000000102700000000000000000000000000000000000000000000000000000000000010280000000000000000000000000000000000000000000000000000000000001029000000000000000000000000000000000000000000000000000000000000102a000000000000000000000000000000000000000000000000000000000000102b000000000000000000000000000000000000000000000000000000000000102c000000000000000000000000000000000000000000000000000000000000102d000000000000000000000000000000000000000000000000000000000000102e000000000000000000000000000000000000000000000000000000000000102f0000000000000000000000000000000000000000000000000000000000001030000000000000000000000000000000000000000000000000000000000000103100000000000000000000000000000000000000000000000000000000000010320000000000000000000000000000000000000000000000000000000000001033000000000000000000000000000000000000000000000000000000000000103400000000000000000000000000000000000000000000000000000000000010350000000000000000000000000000000000000000000000000000000000001036000000000000000000000000000000000000000000000000000000000000103700000000000000000000000000000000000000000000000000000000000010380000000000000000000000000000000000000000000000000000000000001039000000000000000000000000000000000000000000000000000000000000103a000000000000000000000000000000000000000000000000000000000000103b000000000000000000000000000000000000000000000000000000000000103c000000000000000000000000000000000000000000000000000000000000103d000000000000000000000000000000000000000000000000000000000000103e000000000000000000000000000000000000000000000000000000000000103f0000000000000000000000000000000000000000000000000000000000001040000000000000000000000000000000000000000000000000000000000000104100000000000000000000000000000000000000000000000000000000000010420000000000000000000000000000000000000000000000000000000000001043000000000000000000000000000000000000000000000000000000000000104400000000000000000000000000000000000000000000000000000000000010450000000000000000000000000000000000000000000000000000000000001046 != ZeroAddress(); counterexample: calldata=0x50803f4c0000000000000000000000004090774829a1c158d5d2cda2526484ec991d8f650000000000000000000000009efb72a4cb0a769bf9adeed53c7d580ee83d8abd000000000000000000000000000000000000000000000000000000000000001f0000000000000000000000000000000000000000000000000000000000000006 args=[0x4090774829a1c158d5D2CDa2526484EC991D8f65, 0x9efb72A4CB0a769BF9adEEd53C7D580EE83D8abD, 31, 6]
  • test_createPolicyWithAccounts_revert_incompatiblePolicyType(address,address,uint8,address[]): Error != expected error: custom error 0xa2d3044f: type check failed for "(address,uint8,address[])" with data: 00000000000000000000000000000000000000000000000000000000000000200000000000000000000000006274f988cc54cc459f9621bc479916dc35a87196000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000001000000000000000000000000585a43f6610a22006cafd038734bfe0c74000d04 != IncompatiblePolicyType(); counterexample: calldata=0x845707ef0000000000000000000000002aa09ed6bc5e7100c1179e816201489a95e9519c0000000000000000000000006274f988cc54cc459f9621bc479916dc35a87196000000000000000000000000000000000000000000000000000000000000000d0000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000007f000000000000000000000000585a43f6610a22006cafd038734bfe0c74000d040000000000000000000000003a82f84693f5d47cc6e490a9842d753b678356d2000000000000000000000000a6b2e5564825b64b98f8524fd1b45d41bc80e4740000000000000000000000006535adbd40c312b51d3a23e016298e7f8303ea2d000000000000000000000000c29811718e64cffa7419518a5c65ad3e63e1eedf0000000000000000000000003af57ee96ed826f2f672deef7b332aed2a87b2e6000000000000000000000000f58be0f8701f61943aa417807f9e3c46f0ca806d000000000000000000000000d6d015d7961eb26b4ee37cd5e42ae6b9400bcb6b0000000000000000000000001509a24050fdeb2b05c511c6c5123499f61595c1000000000000000000000000c0e1b94c77ed74174e853d1cfa26208c0295e5b20000000000000000000000004abae51a74cb6cd4fac59a5b140e93f564007b4400000000000000000000000061e110c58c8f358456548f887d19c12f59b68dd8000000000000000000000000a419019c0252192a3ac30ee2cdb14927a476e58f0000000000000000000000009e2b25b35c55345c89ac0bd31c0198d83dd17aae00000000000000000000000036cd04c6bab99239a8ff7ff405f6237e8f6c56de000000000000000000000000a00294df4a03286b60d523f5f7bebbce2575bbb600000000000000000000000016cae83d0733cdb272e89961a9964ea193614be2000000000000000000000000feb235d0323ac98690e28c1324d9f0945104bc12000000000000000000000000ae23e31cf0aba6a7b502dba356b71b9581fdcfb200000000000000000000000059885ef638256d95d03655002ad535f4d110fb190000000000000000000000001896035af618afe47dfafed42349028f0a535ffa000000000000000000000000d2e22aad4b192ac4d36d6df4ba7f3d4c76aa1bad0000000000000000000000001f7a1c7e6d3f1346c2da9ef1b1704f8a1c85a2b1000000000000000000000000364553963fec122b196f28b628024563e86e73c7000000000000000000000000fd960699513ac1796ee45b31e06ed8d250858bb4000000000000000000000000ac3f6944662c524bd081f95a21241b782afc12f500000000000000000000000013e3de19163f3f0a37c253ba7d298c36274cd7680000000000000000000000006fb3506763b98a5b60e851d4d0cb9a9fb97a4d92000000000000000000000000e80e7db08c1a5f57aef10a03d146180bb60cb445000000000000000000000000082e92be6d77c22b1dbeef7eb1754592e26d08740000000000000000000000007036c4c95c1de923023ec80ce5f2339c424fe5fa000000000000000000000000d22f36d8b2166cea54a67491a71f1c2eeb64e36d0000000000000000000000005b20f9d3ef9036e388832c85fac4584708f93d8e000000000000000000000000893a9432a8073f92425957a6cb6cd477bdecfa940000000000000000000000007c2060f75293f09049e75faefb77e09a16f76dd600000000000000000000000041a3531779e6ed5f26d1cf3092b22d81c50612610000000000000000000000007ba13e2c86968831b01036caff55ca2640b21fe2000000000000000000000000a2f491e169f51768082ee1df633fdea5657b569d000000000000000000000000e58fc996a7bb3ae318ecbd802f10a4a627ce45a70000000000000000000000007f967ad28b5214b2fda1f86478b6d41d876016dc0000000000000000000000008b39c2af5ff1a4ae4b18abc441537bcad0ce20c4000000000000000000000000b9a8d487eb5c6e1187894c7d1282c2e8ad2c200f000000000000000000000000e91de761a0cf4b5933810ba8475a58910a7bdb0e0000000000000000000000008904a426c69559670ce3cc4b3ce5e23963af38c5000000000000000000000000edd3e396a23b8ac4efb8aca2fc284e973e364135000000000000000000000000f58981243515189b36b6ed648fc465d35de9d37c0000000000000000000000006984b537b2f2ba9a0faa8f016fabf05633fe51e70000000000000000000000001e1f6d8bc1c2ebe072d20b79420fde508135ac710000000000000000000000001ba108343f2447dbdb119c5d4032bc3512215946000000000000000000000000cac0e414d929abc51ce0b41104fbf090924c3ca40000000000000000000000000ed5da38a54d2dae6b7c84960f3f18603e28c61a000000000000000000000000a857c7299d7d219be26a3b856f599089297c898d000000000000000000000000c69b239c1e9725425c3a182113892165fc4a335400000000000000000000000088a930dcf3f4b904573e834d8fee6637ac42881c000000000000000000000000b46f667dd3cd83c1aa4681445c8f77a8b22675760000000000000000000000008c92e4134ee3f5931985a786b89ade18f505dc8e00000000000000000000000090af1ee9b3b9b86b4358959868c7b756b02e5df0000000000000000000000000410fd59874d03e25970f0eb3f307fab00a7fb3fa000000000000000000000000312077c65e28a3a602909f967e79be1237b09f6d000000000000000000000000e163e5c1b26bb782f1f54b6274ec1fde8037cdd2000000000000000000000000a777de86fa4e4dbd765699cfed911cd28883ca190000000000000000000000008a1ebf20a670ce6f979f222deff455efeb041e00000000000000000000000000d5a61bcad358695fee403e3c7241b32931daeb57000000000000000000000000f4bb61038a0c236b41030b1a03b5bec53e97bae300000000000000000000000004c0bb75c2a54197cc143b33a804676ab6fe031c00000000000000000000000002d8c43047f63527c011bc444978b50f977fe6f700000000000000000000000039a5ae61e27f76cb61aa758ecf6a3c06c5d69d43000000000000000000000000f5320f397bc4ef8973db973695911a60814875b5000000000000000000000000a8add20ca184ba056827d217c35dc8b6be9d51f0000000000000000000000000a1b700892af840962da1eb1daa0de8b9af42335d00000000000000000000000086c9232395faeb169aea87234602ba79913948cc0000000000000000000000000c0771cf27dc634e3b667fd6fdc8a709651b31320000000000000000000000003ea336c1da6ad92a80303cfa4b40c33748acbc40000000000000000000000000c466881d109aaa321780a0cc110f603f69f5f1a200000000000000000000000055b452eb45dc9b090683272da74720c9af546049000000000000000000000000b668f39c5bca29628f25321c6ad86331419e0cf0000000000000000000000000c95aebdea48d6071393656a82925c3bea2efb8d5000000000000000000000000334ef11a4630c5c2c5daaa3b6e09c22cc9f16ae10000000000000000000000009cfdf1e3d1f93c03304c9ac605add574b01113590000000000000000000000007a348d9253d07dd3f490f6e34ca17bbf855e42e20000000000000000000000006afb799e244611b64154507b18f52f5e8663bb2b00000000000000000000000002f39e10f078838e41580c0adf95a6a6b5f2eea2000000000000000000000000895dfb0aca50b36b9446967a9f44d51965395d010000000000000000000000003923048e231614a2e39721cd1a5512df06f45cac000000000000000000000000bbda58412d30a278db6bd4a9d444c87dd7f725d1000000000000000000000000cccdfeaa04e1f09dc752a4bdb4dc15c2f4585a53000000000000000000000000a9a686a9d686b373399241794f7c3e84eea2dc68000000000000000000000000f2ad48469770072a83faa380fa1b1967698db2c1000000000000000000000000b4e48cfeeef358ecbc8c91246a3f52ba4ddc2144000000000000000000000000a7eb3191abac8465905487e64c8ef109d84ce8fe00000000000000000000000095095423653929622d1a962506370406f49023d200000000000000000000000026254bd3311ef89be0ec762a2e2a95a51864ab2d000000000000000000000000eec1ac6577d4173a7a5eae0c47ffb21438b9aa5a0000000000000000000000006274c3ca5a26f5b33d95e357fb24103edfd17cba000000000000000000000000d7b033f0823ffb9e99586c40c36b04bfd8f4be78000000000000000000000000e5fb8b62e4d8fd076c4a623ce179644b456430480000000000000000000000009ea9801fad990a76059aadd94d983e40ad899c8500000000000000000000000020a5aa38f851d94950bba07f924e6a4231f968d80000000000000000000000009f9a20759c48cea7fbf7fd40072fd3d546b153220000000000000000000000005915174517654f7e87dca742f74a42c55e84942600000000000000000000000008dc9d5297a54870e1402eca5f2a1ff393e970680000000000000000000000003febeeaf8d0438386835644c765afdf1c4bbbc23000000000000000000000000566d9a4676bd8d40c3ea2f285cb134a9898a7607000000000000000000000000233c30fe5eea0d33e4c875818dfa86c4fa6cad30000000000000000000000000ba1546d13d50831c55616cc33a21baaacd906be7000000000000000000000000a0876cef2483ee04c4953d1e4065dfc8a846a2ae0000000000000000000000001248891984537c87d8510c26ab7f6e79c8401891000000000000000000000000a43e02ca7be9989ff4244403fddd0f52cc745421000000000000000000000000a15767e897964bf4c7717b49dd9ee2b3347e6e470000000000000000000000005463a5bd57dac58f0c43ab5ebe308e9a402aac3200000000000000000000000094df96618cd4063ab8ee7c14297a5917cdc86bc20000000000000000000000007fe63a57a409abc9f0d6a0006ca861cc671aa6a50000000000000000000000006e80c00d531c3cb105effc5dce119fbe3852aafe000000000000000000000000f2eb311488e5c5db107bd689288ee4ead98911a4000000000000000000000000123d9ff22c443591d511148bfe43f271c94b7dcc000000000000000000000000dc7a7e52194198bedc70c2c351f2755d07ffaac5000000000000000000000000aaf8ba60e684617a702e02676acb063c9a28c71c0000000000000000000000000e80216f025570bb4f01bd9de6e5afb487695fc00000000000000000000000008a82277bcb3aa2067c89df71a02b5a970fe21a69000000000000000000000000191b7221749a80f0bd5896c28f7f52faead74efb00000000000000000000000045e6da4ed3cec90b375dabf45dbed7abb263cef2000000000000000000000000396d5303651083ae89080473f569d9b83f6a9fad00000000000000000000000055c3915d8520e08ba8b0186a5cb42fa0bf3f152f0000000000000000000000005d3956db5492d9e85f84eeacf532a8aad0ef654d00000000000000000000000081c810c49d09419b42ae27829a85aecb99b19aa6000000000000000000000000c6ec78d26993b10a6dc22ca57bd190afb023dc37000000000000000000000000bf5cb9f42e161e07982bd5333a2af92e23addeb5 args=[0x2aa09Ed6bc5E7100c1179E816201489a95E9519C, 0x6274F988cc54CC459F9621BC479916Dc35a87196, 13, [0x585a43F6610A22006CaFD038734Bfe0C74000d04, 0x3A82F84693F5D47cC6E490a9842D753b678356D2, 0xA6b2E5564825b64b98f8524FD1B45d41bC80e474, 0x6535aDBd40c312b51D3a23e016298e7F8303Ea2D, 0xc29811718E64cfFa7419518A5c65Ad3e63e1eedF, 0x3aF57EE96Ed826F2F672dEeF7b332AeD2a87B2e6, 0xF58be0F8701f61943aa417807f9E3c46F0CA806D, 0xD6d015d7961Eb26b4EE37cD5e42Ae6b9400BCb6B, 0x1509a24050fdEb2B05C511C6C5123499f61595c1, 0xc0e1B94C77ed74174e853d1cFA26208C0295e5B2, 0x4abaE51a74Cb6cd4fAc59a5B140e93F564007b44, 0x61E110c58c8F358456548F887D19C12F59B68dd8, 0xA419019C0252192A3aC30eE2CdB14927a476E58f, 0x9e2b25b35c55345C89ac0Bd31C0198D83dD17aAE, 0x36Cd04c6BAB99239A8ff7fF405f6237E8F6c56dE, 0xa00294Df4a03286b60D523f5f7BeBBCe2575bBb6, 0x16cae83d0733cdb272e89961A9964eA193614Be2, 0xFeB235D0323AC98690e28C1324d9F0945104BC12, 0xae23E31cf0Aba6A7B502dBA356b71b9581fdCFb2, 0x59885Ef638256d95d03655002Ad535F4D110fb19, 0x1896035AF618AFe47dfAFEd42349028f0A535ffA, 0xD2e22aAD4B192ac4d36d6dF4BA7f3D4C76aA1BAd, 0x1f7A1c7E6d3f1346c2Da9EF1b1704f8a1C85a2B1, 0x364553963FEc122b196F28b628024563e86E73C7, 0xfD960699513ac1796ee45b31E06ed8d250858BB4, 0xAC3f6944662C524bd081F95A21241B782afc12F5, 0x13e3dE19163f3F0A37C253ba7D298c36274Cd768, 0x6FB3506763B98a5b60e851D4d0CB9a9fB97a4d92, 0xE80E7dB08C1a5F57aeF10A03d146180bB60cB445, 0x082E92be6D77C22b1DbEEf7eB1754592e26d0874, 0x7036C4C95C1DE923023Ec80ce5F2339C424fE5fa, 0xD22f36d8b2166CEA54A67491a71F1c2eeb64E36D, 0x5b20F9d3eF9036E388832c85FAC4584708f93D8e, 0x893a9432A8073f92425957A6CB6Cd477BDeCFA94, 0x7c2060F75293F09049e75faeFB77e09A16f76DD6, 0x41A3531779e6ed5f26d1cF3092b22D81C5061261, 0x7BA13e2c86968831B01036CaFf55Ca2640B21fe2, 0xA2F491e169f51768082eE1dF633fdea5657B569D, 0xE58FC996a7bB3AE318ECbd802f10a4a627Ce45A7, 0x7F967AD28b5214b2Fda1F86478b6D41d876016dC, 0x8b39c2aF5Ff1a4aE4B18aBC441537bcad0CE20c4, 0xB9a8d487EB5C6e1187894c7d1282c2e8Ad2c200F, 0xe91dE761a0cf4B5933810ba8475a58910A7bdB0e, 0x8904A426C69559670ce3Cc4b3ce5E23963Af38c5, 0xEDD3e396a23b8AC4EFb8AcA2fc284E973e364135, 0xf58981243515189b36b6ed648FC465D35DE9d37c, 0x6984B537B2F2ba9A0fAA8f016fAbF05633Fe51E7, 0x1E1f6D8bC1c2EBE072D20B79420Fde508135aC71, 0x1Ba108343F2447dbDB119c5D4032bC3512215946, 0xCac0e414d929AbC51CE0b41104fbF090924C3Ca4, 0x0Ed5da38a54D2Dae6B7c84960F3f18603E28c61a, 0xA857C7299d7D219Be26A3B856F599089297c898d, 0xC69B239c1E9725425C3a182113892165FC4a3354, 0x88A930dcF3F4B904573E834D8Fee6637aC42881c, 0xb46F667dd3Cd83C1aa4681445c8f77A8B2267576, 0x8c92E4134Ee3f5931985A786b89aDE18f505dc8E, 0x90AF1EE9B3b9b86b4358959868c7B756B02E5dF0, 0x410fd59874D03e25970f0eb3F307fab00a7fb3FA, 0x312077C65E28a3A602909f967E79bE1237b09F6d, 0xE163E5C1B26bB782f1F54B6274ec1fde8037cdd2, 0xa777de86fa4E4dBd765699cFED911cD28883CA19, 0x8a1Ebf20a670CE6F979F222dEff455eFEB041E00, 0xd5a61bcad358695FeE403E3C7241b32931daeB57, 0xF4BB61038A0c236b41030B1A03B5bec53E97bAe3, 0x04c0BB75C2A54197CC143b33A804676aB6FE031c, 0x02D8C43047f63527c011BC444978B50F977fE6f7, 0x39A5AE61e27f76cb61aa758Ecf6a3c06C5D69D43, 0xf5320F397BC4ef8973Db973695911a60814875b5, 0xa8aDd20CA184BA056827d217C35dc8b6BE9d51F0, 0xa1b700892Af840962da1EB1daA0dE8b9Af42335d, 0x86c9232395faEB169aEA87234602bA79913948Cc, 0x0C0771CF27Dc634e3b667Fd6fDc8a709651b3132, 0x3ea336c1Da6ad92A80303cfA4B40C33748aCBC40, 0xc466881D109aaa321780A0cC110F603F69f5f1a2, 0x55b452eB45DC9b090683272Da74720C9Af546049, 0xb668F39c5BCa29628F25321c6AD86331419e0cF0, 0xc95aEbDeA48d6071393656A82925c3bea2Efb8d5, 0x334ef11a4630C5c2C5daaa3B6E09C22CC9F16Ae1, 0x9CFdf1E3D1F93c03304c9AC605AdD574b0111359, 0x7a348D9253D07Dd3F490f6e34CA17BbF855e42e2, 0x6Afb799E244611B64154507b18F52f5e8663BB2B, 0x02F39e10F078838E41580C0adf95A6a6B5F2EEa2, 0x895DFB0aCA50B36b9446967A9f44d51965395D01, 0x3923048e231614A2E39721CD1A5512dF06F45CAC, 0xbbDa58412d30A278Db6Bd4A9d444c87DD7F725d1, 0xcccDFeaa04e1F09Dc752A4BDB4DC15C2F4585a53, 0xA9a686A9D686B373399241794F7C3e84eEa2Dc68, 0xF2Ad48469770072a83Faa380fa1B1967698DB2c1, 0xb4e48cfeEeF358eCbC8C91246A3f52Ba4DDc2144, 0xa7Eb3191aBAc8465905487e64c8ef109D84CE8FE, 0x95095423653929622D1A962506370406F49023D2, 0x26254BD3311eF89Be0ec762A2e2a95a51864AB2d, 0xeeC1AC6577D4173a7a5Eae0c47fFb21438b9AA5A, 0x6274c3CA5a26F5B33d95e357fB24103edfd17CbA, 0xD7B033F0823fFB9e99586c40c36b04BFD8f4Be78, 0xe5fB8B62E4D8FD076c4A623cE179644b45643048, 0x9EA9801FAD990a76059aAdd94d983E40ad899C85, 0x20A5aa38f851D94950Bba07F924e6a4231F968D8, 0x9f9A20759c48CeA7FBf7FD40072Fd3d546b15322, 0x5915174517654f7e87dcA742F74a42c55E849426, 0x08dC9d5297a54870E1402ecA5f2a1FF393E97068, 0x3FeBeeaf8d0438386835644c765aFdF1C4bBBC23, 0x566d9a4676Bd8D40C3eA2f285cB134A9898A7607, 0x233C30fE5eEa0D33E4C875818dFa86c4Fa6CAd30, 0xBa1546D13d50831C55616CC33A21BAAacd906Be7, 0xa0876cEF2483Ee04C4953D1E4065DFC8a846A2Ae, 0x1248891984537C87d8510C26AB7F6e79c8401891, 0xA43E02cA7be9989FF4244403fDDD0F52Cc745421, 0xa15767e897964Bf4c7717b49dD9EE2b3347e6e47, 0x5463a5Bd57daC58F0C43Ab5ebe308e9a402AAC32, 0x94dF96618cD4063aB8Ee7c14297a5917CDc86bc2, 0x7fE63a57A409abc9f0d6A0006ca861CC671AA6A5, 0x6E80C00d531C3Cb105efFC5DCe119FBE3852aaFe, 0xF2EB311488E5C5db107BD689288eE4Ead98911a4, 0x123d9FF22c443591d511148Bfe43f271c94B7dCC, 0xDC7A7E52194198BEdc70C2C351f2755D07fFaaC5, 0xaaf8bA60e684617A702e02676Acb063C9A28c71C, 0x0E80216F025570bB4F01Bd9de6e5aFB487695fc0, 0x8A82277Bcb3AA2067C89dF71a02b5a970fe21a69, 0x191B7221749a80f0bD5896c28F7F52faeAD74efb, 0x45e6Da4ed3ceC90b375dAbf45dbEd7aBb263cef2, 0x396D5303651083ae89080473F569D9b83F6a9fAD, 0x55C3915D8520e08BA8B0186a5cb42Fa0bf3F152f, 0x5d3956DB5492D9E85F84eeACf532a8aaD0Ef654d, 0x81c810c49d09419B42AE27829a85aeCb99B19Aa6, 0xC6ec78D26993b10A6dc22cA57Bd190aFB023DC37, 0xBF5cb9f42E161E07982bD5333A2aF92e23ADDEB5]]
  • test_createPolicy_revert_incompatiblePolicyType(address,address,uint8): Error != expected error: custom error 0xca5d55f6: type check failed for "(address,uint8)" with data: 000000000000000000000000c3e534c740c31cb1664ff917e35bf4d1f68ffd5d0000000000000000000000000000000000000000000000000000000000000003 != IncompatiblePolicyType(); counterexample: calldata=0x1ade0d6f0000000000000000000000004ea341b6759e85e1636bda91e1dcd8279482651c000000000000000000000000c3e534c740c31cb1664ff917e35bf4d1f68ffd5d0000000000000000000000000000000000000000000000000000000000000003 args=[0x4EA341B6759E85e1636bdA91e1dCd8279482651C, 0xC3e534C740c31cB1664ff917e35BF4D1F68ffD5d, 3]
  • test_erc8056Surface_success_aliasesResolve(uint256): custom error 0xa60bf13d; counterexample: calldata=0x91648cee0000000000000000000000000000000000000004b5968ff838fa609caa628249 args=[373111455584968283065092833865 [3.731e29]]
  • test_fromUIAmount_success_explicitZeroMultiplierFallsBackToWad(uint256): custom error 0x65cd9b3c; counterexample: calldata=0x2e5d48fc0000000000000000000000000000000000000000000000000000000000000048 args=[72]
  • test_fromUIAmount_success_identityOnWadDefault(uint256): custom error 0x65cd9b3c; counterexample: calldata=0x143250550000000000000000000000000000000000000000002f647e6fed4036c70b9379 args=[57294082525100934838326137 [5.729e25]]
  • test_fromUIAmount_success_invertsByStoredMultiplier(uint256,uint256): custom error 0x65cd9b3c; counterexample: calldata=0xe11ab12f00000000000000000000000000000000000000000000000000000b5c2fc57aa70000000019b3caacafbfd2b7e8664161f07b6b99a79f784020bc77bc93fef5ec args=[12490566367911 [1.249e13], 2706769306109852959432300542122788657486273455910118566736162649580 [2.706e66]]
  • test_fromUIAmount_success_roundTripExactOnWadDefault(uint256): custom error 0x3248d4ff; counterexample: calldata=0x76c2c36b0000000000000000000000000000000000000000000000000000066d2dcffd13 args=[7065989807379 [7.065e12]]
  • test_fromUIAmount_success_roundTripFloors(uint256,uint256): custom error 0x3248d4ff; counterexample: calldata=0x3f088b7a000000000000000000000000000000000000000000000000099190debe3344f400000000000000000000000000000000000073681f3abc71d57825c522e3d577 args=[689491504312567028 [6.894e17], 2340726498364332352155163457475959 [2.34e33]]
  • test_fromUIAmount_success_zeroUIAmount(uint256): custom error 0x65cd9b3c; counterexample: calldata=0x1da82273c78b71fee795ddd74aff64ea9b2474194c938c3196430e10bb5f01ed48434000 args=[90256635379626638402994590225948139774634157376374926850808936957150668996608 [9.025e76]]
  • test_isAuthorized_success_composite_mixedChildTypes(address): custom error 0x6fdd1491; counterexample: calldata=0xca56e88d000000000000000000000000cb00000000000000000000000000000000000000 args=[0xCB00000000000000000000000000000000000000]
  • test_isAuthorized_success_composite_reflectsChildMembershipChange(address): custom error 0x6fdd1491; counterexample: calldata=0x9154ecaf0000000000000000000000001b88269c86da1318c4094233adc99cb24d4a15fa args=[0x1B88269C86da1318C4094233ADc99cb24D4a15Fa]
  • test_isAuthorized_success_intersect_allChildrenAuthorize(address): custom error 0x6fdd1491; counterexample: calldata=0x12f37cef000000000000000000000000f9a8bccc0a47fa0a09ebb86f96e9ed9635dae49d args=[0xf9a8BcCC0A47FA0a09ebb86f96E9Ed9635dae49d]
  • test_isAuthorized_success_intersect_oneChildDenies(address): custom error 0x6fdd1491; counterexample: calldata=0x70fa07e6000000000000000000000000b20f000000000000000000000000000000000000 args=[0xB20f000000000000000000000000000000000000]
  • test_isAuthorized_success_union_anyChildAuthorizes(address): custom error 0x6fdd1491; counterexample: calldata=0x1ab54113000000000000000000000000cb00000000000000000000000000000000000000 args=[0xCB00000000000000000000000000000000000000]
  • test_isAuthorized_success_union_noChildAuthorizes(address): custom error 0x6fdd1491; counterexample: calldata=0x18ea2b87000000000000000000000000617c5827962a541cbe4ed104bb961e29a918beee args=[0x617C5827962A541cBE4ED104BB961E29a918BeEe]
  • test_multiplier_success_renamedFromShareRatio(uint256): custom error 0x3248d4ff; counterexample: calldata=0x94be8dcc0000292ae895dfe1a7c91f580309621663edc2e45ac6d65bc2fbd99a405d72e4 args=[284128412084908953490444359116683253018128712347900127416254439461057252 [2.841e71]]
  • test_newUIMultiplier_success_maturedMirrorsUiMultiplier(uint256): custom error 0x628e600f; counterexample: calldata=0x42f4772200000000000000000000000000000000000000000000000000000000f851a43f args=[4166100031 [4.166e9]]
  • test_newUIMultiplier_success_reportsLivePending(uint256,uint256): custom error 0xa60bf13d; counterexample: calldata=0xf706898000099ed7e8a7ef4a3653c18addbe1b3ae2480be7570a97397007a9ec637d32b20000000000014009bcda97c6dd18fcab036c06c0ee5958715c88620905f43b66 args=[16997920395867811835852586560772627655323481551336014089062031671976342194 [1.699e73], 514281298762120484052767656399608687008829029451740534935927654 [5.142e62]]
  • test_pendingSlot_success_decodesScheduledPending(uint256,uint256): custom error 0x628e600f; counterexample: calldata=0x241843700000000000000000000000000000000000000000000000004563918244f400000000000000000000000000000000000000000000000000000000000000000015 args=[5000000000000000000 [5e18], 21]
  • test_policyId_success_reflectsUpdatePolicy(uint8,uint64): UnsupportedPolicyType(0xbf15b19caf5c77422c038bc25f26b8b815c3a14f6d04c6616076b81bcfe07b3d); counterexample: calldata=0xa21d943e00000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000de0b6b3a7640000 args=[64, 1000000000000000000 [1e18]]
  • test_policyId_success_zeroByDefault(uint8): UnsupportedPolicyType(0xbf15b19caf5c77422c038bc25f26b8b815c3a14f6d04c6616076b81bcfe07b3d); counterexample: calldata=0x11a5c8f4000000000000000000000000000000000000000000000000000000000000000a args=[10]
  • test_scheduledSetter_success_renamedFromSetUIMultiplier(uint256): custom error 0x628e600f; counterexample: calldata=0x1e36717a000000000000000000000000000001f795efd0c395900abc089c12a678191b8a args=[171361330725790166063245985618303060089738 [1.713e41]]
  • test_seizeWithMemo_revertOrder_blocked_beats_balance(address,address): Error != expected error: custom error 0xf916d81b != AccountNotSeizable(0x8A3a55b3BaBD86F80dEd1fBBac4F4626c55f7502); counterexample: calldata=0x8dcc06c20000000000000000000000008a3a55b3babd86f80ded1fbbac4f4626c55f7502000000000000000000000000aceec913e0ba4abdf16d9e811590012408500b8c args=[0x8A3a55b3BaBD86F80dEd1fBBac4F4626c55f7502, 0xACEEc913E0Ba4aBdf16d9e811590012408500B8c]
  • test_seizeWithMemo_revertOrder_blocked_beats_receiver(address,address): UnsupportedPolicyType(0xbf15b19caf5c77422c038bc25f26b8b815c3a14f6d04c6616076b81bcfe07b3d); counterexample: calldata=0x95d54d94000000000000000000000000c5b3f76de994da5b75502d7e3c7cf023cc941372000000000000000000000000ceb8c68944e298ddefed700b4ec911fa2f2848a1 args=[0xc5B3f76dE994DA5b75502d7e3c7cf023cc941372, 0xCeB8C68944e298DdEfeD700b4ec911Fa2F2848a1]
  • test_seizeWithMemo_revertOrder_pause_beats_blocked(address,address): custom error 0xa290249c: type check failed for "(uint8[])" with data: 0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003; counterexample: calldata=0xd86565550000000000000000000000004a8aaa38762f4164da68dc0dc43c3999a67539d50000000000000000000000002481718d51db642e975e73f65ddb5ce1cd17fc92 args=[0x4a8aaa38762f4164dA68dc0Dc43c3999A67539D5, 0x2481718d51dB642E975E73F65ddb5ce1CD17fc92]
  • test_seizeWithMemo_revertOrder_pause_beats_role(address,address,address): custom error 0xa290249c: type check failed for "(uint8[])" with data: 0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003; counterexample: calldata=0xadeb3963000000000000000000000000247146849c0a370f5b17a3e90bfdf4b043d02422000000000000000000000000199b84d3963401620311d1ab718e5bb552877f830000000000000000000000006617ae34bd130c91e4d8ed4ea2d28e72ef8fb04d args=[0x247146849C0a370F5B17A3E90BFdF4B043d02422, 0x199B84D3963401620311d1Ab718e5BB552877F83, 0x6617Ae34Bd130c91e4d8Ed4eA2D28E72EF8fB04D]
  • test_seizeWithMemo_revertOrder_receiver_beats_balance(address,address): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xc375ac630000000000000000000000001628e39f9bab7ff9367bda82023264963e2510e800000000000000000000000004fe74947344e7b628b109e5e46c4d6f6afc8a72 args=[0x1628e39f9BAb7fF9367bdA82023264963e2510E8, 0x04fe74947344e7b628B109E5e46C4D6f6AFC8A72]
  • test_seizeWithMemo_revertOrder_role_beats_selfSeize(address,address): Error != expected error: custom error 0xf916d81b != AccessControlUnauthorizedAccount(0xCD8A5E5D483daa88919eE2E88eAAEECf67c4B63D, 0x3469b8b0d89e9604f8510ed143f74a8336d22955d4f83e23bf53d9414e27f432); counterexample: calldata=0x6af0841d000000000000000000000000cd8a5e5d483daa88919ee2e88eaaeecf67c4b63d000000000000000000000000c049dcf1a306f12649e50b3a25d45ef35fb1abec args=[0xCD8A5E5D483daa88919eE2E88eAAEECf67c4B63D, 0xc049dcf1a306f12649e50B3A25D45EF35fB1ABEC]
  • test_seizeWithMemo_revertOrder_role_beats_zeroActors(address,address): Error != expected error: custom error 0xf916d81b != AccessControlUnauthorizedAccount(0x0000000000000000000000000000000000001577, 0x3469b8b0d89e9604f8510ed143f74a8336d22955d4f83e23bf53d9414e27f432); counterexample: calldata=0x36c308ae0000000000000000000000000000000000000000000000000000000000001577000000000000000000000000cb00000000000000000000000000000000000000 args=[0x0000000000000000000000000000000000001577, 0xCB00000000000000000000000000000000000000]
  • test_seizeWithMemo_revertOrder_selfSeize_beats_blocked(address): Error != expected error: custom error 0xf916d81b != InvalidReceiver(0x70c0890177C12Af58e5eF95A50F97F46d2A04d23); counterexample: calldata=0xbff2d70b00000000000000000000000070c0890177c12af58e5ef95a50f97f46d2a04d23 args=[0x70c0890177C12Af58e5eF95A50F97F46d2A04d23]
  • test_seizeWithMemo_revertOrder_zeroActors_beats_blocked(address): Error != expected error: custom error 0xf916d81b != InvalidReceiver(0x0000000000000000000000000000000000000000); counterexample: calldata=0x02c145c50000000000000000000000000000000000000000000000000000000000000f68 args=[0x0000000000000000000000000000000000000F68]
  • test_seizeWithMemo_revertOrder_zeroSender_beats_blocked(address): Error != expected error: custom error 0xf916d81b != InvalidSender(0x0000000000000000000000000000000000000000); counterexample: calldata=0xfb5907050000000000000000000000008ec2edbda2aa9d578b6fed472ed4e387f586bea7 args=[0x8eC2EdbDa2Aa9D578b6FED472ed4e387f586bEa7]
  • test_seizeWithMemo_revert_accountNotBlocked(address,address,uint256): Error != expected error: custom error 0xf916d81b != AccountNotSeizable(0x9cb40816705A84087bec6577AA30cbAfD434f260); counterexample: calldata=0x41754db20000000000000000000000009cb40816705a84087bec6577aa30cbafd434f260000000000000000000000000ebe8eb6da2f222d790c381d0d8599f078dc785a60000000000000000000000012af851848b13867a30bc86577ee7f0cb052954fb args=[0x9cb40816705A84087bec6577AA30cbAfD434f260, 0xEbe8EB6dA2F222D790C381d0d8599F078dc785a6, 1706816935712036751482654664476012233365989709051 [1.706e48]]
  • test_seizeWithMemo_revert_insufficientBalance(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x033c5005000000000000000000000000d72220934b86a648be681107812ad9a2f6934717000000000000000000000000f26de432b3d84bae753e7ceb2ecaf2486cfcf80f0000000000000000000000000000000000000000007b40694c882ae142dfb9b2 args=[0xd72220934B86a648BE681107812AD9A2F6934717, 0xf26de432b3d84Bae753e7Ceb2eCaf2486cFCF80f, 149002049690335675978594738 [1.49e26]]
  • test_seizeWithMemo_revert_invalidReceiver(address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x92e9b388000000000000000000000000a92501a13bf90ce680799b2d8e44d028fe42c651000000000000000000000000000000000000000000000002da2b8c2b340f0789 args=[0xA92501A13bf90CE680799B2d8E44d028FE42C651, 52614301188870834057 [5.261e19]]
  • test_seizeWithMemo_revert_receiverPolicyForbids(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x05a3631f000000000000000000000000e7c9fd1125841c6494300d21dc60d9132ab3550600000000000000000000000022f2f568b2d85a7af8b759c6150ab29fbe3145e1000000000000000000000000000000352994beeece4ba19a8ee356e4dcaaefd2 args=[0xE7c9FD1125841c6494300D21DC60d9132aB35506, 0x22f2F568b2D85a7aF8b759C6150ab29fBe3145e1, 18090236127149955985660992373476750454738 [1.809e40]]
  • test_seizeWithMemo_revert_selfSeize(address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xffbeec22000000000000000000000000cb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004 args=[0xCB00000000000000000000000000000000000000, 4]
  • test_seizeWithMemo_revert_unauthorized(address,address,address,uint256): Error != expected error: custom error 0xf916d81b != AccessControlUnauthorizedAccount(0x00000000000000000000000000000000000032e5, 0x3469b8b0d89e9604f8510ed143f74a8336d22955d4f83e23bf53d9414e27f432); counterexample: calldata=0x0334937c00000000000000000000000000000000000000000000000000000000000032e5000000000000000000000000000000000000000000000000000000000000249d000000000000000000000000cb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000ad78ebc5ac6200000 args=[0x00000000000000000000000000000000000032e5, 0x000000000000000000000000000000000000249D, 0xCB00000000000000000000000000000000000000, 200000000000000000000 [2e20]]
  • test_seizeWithMemo_revert_whenSeizePaused(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x83c47ba40000000000000000000000005652d6c15a0810623c8fceab0a42fb4b5a7b0948000000000000000000000000a22f3f97c83c5c9f7015de3e46fd7fa934bed5d000000000000000000000000000000000000000000000000000000004b32f33b6 args=[0x5652d6C15a0810623c8FcEAB0a42FB4B5A7B0948, 0xa22f3f97C83C5C9F7015de3e46FD7FA934bed5D0, 20186084278 [2.018e10]]
  • test_seizeWithMemo_revert_zeroFrom(address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xdf1bcb7a000000000000000000000000980066a2a89aef3c8131f200b9743eefadb9e04100000000000000000000000000000000000000000000000269e49f8d22c7d56f args=[0x980066A2A89AeF3C8131f200b9743EeFaDB9E041, 44523887244614292847 [4.452e19]]
  • test_seizeWithMemo_success_configuredReceiverPolicyAllows(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xd1038b0d0000000000000000000000005868a86d15c2e94c5efd74bc680eb29387efe709000000000000000000000000c8fc66d1ec16e5efcdba479b732312d72fa2344a000000000000000000000000000000000000000000000000000003ba4913a986 args=[0x5868A86D15c2e94C5efD74bc680eb29387efe709, 0xC8fC66d1eC16E5EfCDBa479B732312d72FA2344a, 4098624825734 [4.098e12]]
  • test_seizeWithMemo_success_emitsEvents(address,address,uint256,bytes32): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x984936cb000000000000000000000000339986ec4d7efdbac61c6826051558093a5f14050000000000000000000000000d74a16b32336b2061edc8cefc1f0c0b3c04ce630000000000000000000000000000002dffdb2e1f272a5591460ebe6dbc3cc28c6765b4552a293a56572ca2e309b08b555f362f96cb6e58443d228d4bdae0d68a args=[0x339986Ec4d7eFdBAC61c6826051558093A5f1405, 0x0D74A16B32336b2061Edc8CEFc1f0C0b3C04cE63, 15652797698838439430960443668794758185612 [1.565e40], 0x6765b4552a293a56572ca2e309b08b555f362f96cb6e58443d228d4bdae0d68a]
  • test_seizeWithMemo_success_ignoresReceiverPolicy(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x6358be6c0000000000000000000000005204da0e645c022878937cb93e8382fcf3b0568f00000000000000000000000068b23d891478e74e41dc9770481eb7cd2d092a3a0000000000000000000000000000000000000000000000000000005f176d9df0 args=[0x5204DA0e645C022878937CB93e8382fcf3B0568F, 0x68b23d891478E74e41dC9770481eB7CD2d092a3A, 408414952944 [4.084e11]]
  • test_seizeWithMemo_success_movesBalance(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xc4ab022a000000000000000000000000aad11eb1d2b18515af222de25aed9ba8b3c6f9e700000000000000000000000028af136ee6159980f00b4d1c51fc449d5c66b3b000000000000000000000000000000000000000000000000000295d28c67359c8 args=[0xaAd11eb1d2b18515AF222dE25aEd9bA8B3c6f9E7, 0x28af136Ee6159980f00b4D1c51fC449d5c66b3b0, 11642903754660296 [1.164e16]]
  • test_seizeWithMemo_success_noAllowanceRequired(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xdc26e1f500000000000000000000000000000000000000000000000000000000000030e100000000000000000000000000000000000000000000000000000000000002c90000000000000000000000000000000000000000000000000000000000000794 args=[0x00000000000000000000000000000000000030E1, 0x00000000000000000000000000000000000002c9, 1940]
  • test_seizeWithMemo_success_unsetReceiverPolicyAllowsAnyDestination(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x47ad42e20000000000000000000000005d55ecdadaba42cdae0a6e3258c6aba0c69ba12d00000000000000000000000040459734746022a19fc3aeb7b79eff3323e21cfd00000000000000000000000000000000000000000000000001396f593085b350 args=[0x5d55EcdAdABa42cdAe0a6E3258c6aBa0C69ba12D, 0x40459734746022A19Fc3AEB7B79efF3323e21CFd, 88224096567276368 [8.822e16]]
  • test_supportsInterface_success_unknownFalse(bytes4): custom error 0x01ffc9a7; counterexample: calldata=0xf84ff406fad24adc00000000000000000000000000000000000000000000000000000000 args=[0xfad24adc]
  • test_toUIAmount_success_explicitZeroMultiplierFallsBackToWad(uint256): custom error 0x3248d4ff; counterexample: calldata=0x800dbd6f0000000000000000000000000000000000000000001d615572b939b51ec848d7 args=[35518494557610908047657175 [3.551e25]]
  • test_toUIAmount_success_identityOnWadDefault(uint256): custom error 0x3248d4ff; counterexample: calldata=0x199e403a0000000000000000000000000000000000000000000000000000000000000e91 args=[3729]
  • test_toUIAmount_success_scalesByStoredMultiplier(uint256,uint256): custom error 0x3248d4ff; counterexample: calldata=0xa378d21900105cb936e705ee27e1f438e2d8a0f07aceb7f1abbc925f5f6d711e9bc4941600000000000003724d27a6a7f9f20e3f00b1433b6909d8c0d5b31dbc8cf51ad0 args=[28909507072393471915880128973599781868320176961380489332163760718031918102 [2.89e73], 5538295562928751359552351095614464911217679914066905413262032 [5.538e60]]
  • test_toUIAmount_success_zeroRawAmount(uint256): custom error 0x3248d4ff; counterexample: calldata=0x3f144b3400000000000000000000000000000000000000000000000000000000000000ac args=[172]
  • test_totalSupplyUI_success_scalesByMultiplier(uint256,uint256): custom error 0x9bea6429; counterexample: calldata=0x5c654382000000000000000000000000001fbb60fa7a8a5ec3f2ff374a34d3388a0a357000000000000000000000000000000000000000fce015eaa3c5ed40ca165682aa args=[707646098674178537189158074500325772861519216 [7.076e44], 20034848091291644678523386757802 [2.003e31]]
  • test_totalSupplyUI_success_zeroWhenNoSupply(uint256): custom error 0x9bea6429; counterexample: calldata=0x605620a90000000000000013b3168e040c09bf9a82d7c5fa4493b14147cda7707601e896 args=[123656160517177782889685732187702541871853486312228110067862 [1.236e59]]
  • test_updateComposite_revertOrder(uint8): custom error 0x6fdd1491; counterexample: calldata=0x46b240f90000000000000000000000000000000000000000000000000000000000000041 args=[65]
  • test_updateComposite_revert_builtinChild(uint8): custom error 0x6fdd1491; counterexample: calldata=0x44e9729e00000000000000000000000000000000000000000000000000000000000000bf args=[191]
  • test_updateComposite_revert_childPoliciesOutsideOfRange(uint8,uint8): custom error 0x6fdd1491; counterexample: calldata=0x25c447600000000000000000000000000000000000000000000000000000000000000078000000000000000000000000000000000000000000000000000000000000000b args=[120, 11]
  • test_updateComposite_revert_incompatiblePolicyType(uint8): Error != expected error: custom error 0xbfe142c0 != IncompatiblePolicyType(); counterexample: calldata=0xbe9d9a400000000000000000000000000000000000000000000000000000000000000046 args=[70]
  • test_updateComposite_revert_invalidChildPolicy(uint8): custom error 0x6fdd1491; counterexample: calldata=0xfc6d02c6000000000000000000000000000000000000000000000000000000000000002a args=[42]
  • test_updateComposite_revert_policyNotFound(address,uint64): Error != expected error: custom error 0xbfe142c0 != PolicyNotFound(); counterexample: calldata=0xbc492f7a00000000000000000000000007e6f95bed4e5725e4dcc3f135351d2fb06d5e790000000000000000000000000000000000000000000000001448ef7089d3151a args=[0x07e6f95BeD4E5725E4DcC3f135351D2FB06D5e79, 1461681345709413658 [1.461e18]]
  • test_updateComposite_revert_policyNotFoundChild(uint8,uint64): custom error 0x6fdd1491; counterexample: calldata=0x5d96e02c000000000000000000000000000000000000000000000000000000000000000f000000000000000000000000000000000000000000000000000000000000005f args=[15, 95]
  • test_updateComposite_revert_renouncedComposite(uint8): custom error 0x6fdd1491; counterexample: calldata=0x9c795a420000000000000000000000000000000000000000000000000000000000000045 args=[69]
  • test_updateComposite_revert_unauthorized(address,uint8): custom error 0x6fdd1491; counterexample: calldata=0x13f7deab000000000000000000000000c36041657c057f03f743e54379897dfb60a2e7100000000000000000000000000000000000000000000000000000000000000073 args=[0xc36041657c057F03F743e54379897DFB60A2e710, 115]
  • test_updateComposite_success_atMaxChildren(uint8): custom error 0x6fdd1491; counterexample: calldata=0x9b8e06050000000000000000000000000000000000000000000000000000000000000060 args=[96]
  • test_updateComposite_success_emitsCompositePolicyUpdated(uint8): custom error 0x6fdd1491; counterexample: calldata=0xc975d54c000000000000000000000000000000000000000000000000000000000000002d args=[45]
  • test_updateComposite_success_replacesChildSet(address): custom error 0x6fdd1491; counterexample: calldata=0xbb149933000000000000000000000000612c5207715bbe4a5a4485dfeaa33760d8e896e7 args=[0x612C5207715bbe4A5a4485DFeAa33760D8e896E7]
  • test_updateMultiplier_deprecated_stillDialable(uint256): deprecated updateMultiplier must emit the ERC-8056 UIMultiplierUpdated: -1 <= -1; counterexample: calldata=0x8e38ffd600000000000000000000000000000000000154bb00b64834956b8aa6759e7a3f args=[6910835151997214929444797006379583 [6.91e33]]
  • test_updateMultiplier_revert_aboveUint128Ceiling(uint256): next call did not revert as expected; counterexample: calldata=0x2b852f5600000000000000000000896e0b9cb200cd1dbf0989ec083f44ecfdf0b0aba217 args=[51418616897896816043297781109693858554450446939562519 [5.141e52]]
  • test_updateMultiplier_success_emitsEvent(uint256): log != expected log; counterexample: calldata=0xfda1a8f9000000000000000000000000000051e9073dc71615f37f20669d699fc178409d args=[7135390577329186829655612687957441044299933 [7.135e42]]
  • test_updatePolicy_revert_policyNotFound(uint8,uint64): Error != expected error: UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed) != PolicyNotFound(216172782113783815 [2.161e17]); counterexample: calldata=0x74fd7f3900000000000000000000000000000000000000000000000000000000000000330000000000000000000000000000000000000000000000000000000000000553 args=[51, 1363]
  • test_updatePolicy_success_builtinAllow(uint8): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xde997e8b00000000000000000000000000000000000000000000000000000000000000ff args=[255]
  • test_updatePolicy_success_builtinReject(uint8): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x56f5b908000000000000000000000000000000000000000000000000000000000000006f args=[111]
  • test_updatePolicy_success_emitsPolicyUpdated(uint8,uint64): log != expected log; counterexample: calldata=0x59afa2fa000000000000000000000000000000000000000000000000000000000000007b000000000000000000000000000000000000000000000000000000000000352c args=[123, 13612 [1.361e4]]
  • test_updatePolicy_success_writesSlot(uint8,uint64): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x9746e8e100000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000000000000000000000000000000000bdc args=[9, 3036]
  • test_updateUIMultiplier_revert_aboveUint128Ceiling(uint256): Error != expected error: custom error 0x628e600f != InvalidMultiplier(); counterexample: calldata=0x83cbf42d00000000000000000000000000000000000000000000000000000000000001fa args=[506]
  • test_updateUIMultiplier_revert_effectiveAtInPast(uint256): Error != expected error: custom error 0x628e600f != EffectiveAtInPast(264287478 [2.642e8]); counterexample: calldata=0x2e69d33200000000000000000000000000000000000000000000000029a2241af62c0000 args=[3000000000000000000 [3e18]]
  • test_updateUIMultiplier_revert_effectiveAtTooFar(uint256): Error != expected error: custom error 0x628e600f != EffectiveAtTooFar(115792089237316195423570985008687907853269984665640564039439137263839420088859 [1.157e77]); counterexample: calldata=0xfa43acdc000000000000000000000000000000000000000000000000000000000000021b args=[539]
  • test_updateUIMultiplier_revert_metadataRoleInsufficient(uint256): Error != expected error: custom error 0x628e600f != AccessControlUnauthorizedAccount(0x1D96F2f6BeF1202E4Ce1Ff6Dad0c2CB002861d3e, 0x97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b929); counterexample: calldata=0x8e55eaf30000000000000000000000000000000000000000000001392677b7adb72819dc args=[5776602781123489569244 [5.776e21]]
  • test_updateUIMultiplier_revert_pendingUpdateExists(uint256,uint256): custom error 0x628e600f; counterexample: calldata=0x118ebc9f00000000000000000000000000000000000000000000000000000000000017770000000000000000000000000000000000000000000000000000000000001a4f args=[6007, 6735]
  • test_updateUIMultiplier_revert_unauthorized(address,uint256): Error != expected error: custom error 0x628e600f != AccessControlUnauthorizedAccount(0xE46aA76865aa4F255fC8746d6A8F0929cda68253, 0x97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b929); counterexample: calldata=0x3b75c884000000000000000000000000e46aa76865aa4f255fc8746d6a8f0929cda682530000000000015e08c5357fc199c574fec1b19045ac70006e243611a5d6d97ae7 args=[0xE46aA76865aa4F255fC8746d6A8F0929cda68253, 562483367854665267213669441906726180954700410407832761705003751 [5.624e62]]
  • test_updateUIMultiplier_success_emitsEvent(uint256,uint256): log != expected log; counterexample: calldata=0x6fb2ac3a2be1267d7fd9c63eb1b2f134446da4cbb5f51c4f60def8c6f03150f466cd314b000000000000000000000000000000000000000000000000000000000000005f args=[19847258728474350840874753322234206031394468724916328112975982559733048226123 [1.984e76], 95]
  • test_updateUIMultiplier_success_lazyFlipAtBoundary(uint256): custom error 0x628e600f; counterexample: calldata=0xd55bc7fe00000000000000000000b41ea8eeedccada610ab210023bc293e8b289fcc17dd args=[67390804936070049401081962481866464103727903615490013 [6.739e52]]
    [FAIL: Error != expected error: InternalCallFailed(0x3248d4ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) != panic: arithmetic underflow or overflow (0x11)] test_announce_innerPanic_propagatesRaw() (gas: 99348)
    [FAIL: Error != expected error: custom error 0x2c97a0f0 != UIMultiplierUpdateDoesNotExist()] test_cancelUIMultiplierUpdate_revert_noPending() (gas: 45690)
    [FAIL: Error != expected error: custom error 0x628e600f != InvalidMultiplier()] test_updateUIMultiplier_revert_zeroMultiplier() (gas: 45884)
    [FAIL: Error != expected error: custom error 0xf916d81b != InvalidReceiver(0x0000000000000000000000000000000000000000)] test_seizeWithMemo_revertOrder_zeroReceiver_beats_zeroSender() (gas: 44718)
    [FAIL: UnsupportedPolicyType(0xbf15b19caf5c77422c038bc25f26b8b815c3a14f6d04c6616076b81bcfe07b3d)] test_seizePolicyIdsSlot_success_decodesReceiverLane() (gas: 12548)
    [FAIL: UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed)] test_b20Layout_success_populatedSnapshotMatchesAllSlots() (gas: 618346)
    [FAIL: UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed)] test_seizePolicyIdsSlot_success_decodesExemptLane() (gas: 12527)
    [FAIL: custom error 0x01ffc9a7] test_supportsInterface_success_claimedIds() (gas: 5221)
    [FAIL: custom error 0x54309870] test_maxCompositeChildPolicies_success() (gas: 2586)
    [FAIL: custom error 0x628e600f] test_b20AssetLayout_success_populatedSnapshotMatchesAllSlots() (gas: 71310)
    [FAIL: custom error 0x628e600f] test_reorder_success_cancelThenScheduleInOneBracket() (gas: 45458)
    [FAIL: custom error 0x628e600f] test_updateMultiplier_success_clearsLivePending() (gas: 45462)
    [FAIL: custom error 0x628e600f] test_updateMultiplier_success_clearsMaturedPendingNoCancelEvent() (gas: 45463)
    [FAIL: custom error 0x628e600f] test_updateUIMultiplier_success_materializesMaturedPending() (gas: 45484)
    [FAIL: custom error 0x6fdd1491] test_compositePolicyChildIds_success_returnsCreationSet() (gas: 157901)
    [FAIL: custom error 0x6fdd1491] test_compositePolicyChildIds_success_tracksUpdateComposite() (gas: 184939)
    [FAIL: custom error 0x785c0cf0] test_maxUIMultiplier_success_equalsUint128Max() (gas: 5192)
    [FAIL: custom error 0x7c40df74] test_compositePolicyChildIds_success_emptyAfterFailedCreation() (gas: 133182)
    [FAIL: custom error 0xb31da27f] test_SEIZE_RECEIVER_POLICY_success_matchesExpected() (gas: 5119)
    [FAIL: custom error 0xb3ae29f7] test_minCompositeChildPolicies_success() (gas: 2519)
    [FAIL: custom error 0xfeb346ec] test_SEIZE_EXEMPT_POLICY_success_matchesExpected() (gas: 5185)
    [FAIL: custom error 0xfeb346ec] test_seizeExemptPolicy_success_renamedFromSeizeHolder() (gas: 5187)
    [FAIL: isPaused must still accept enum index 3 (SEIZE)] test_isPaused_revert_noFifthFeature() (gas: 9532)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants