Skip to content

ci(smoke): run smokes on any network via GitHub Environment config - #236

Open
rayyan224 wants to merge 2 commits into
mainfrom
ci/smoke-use-make-targets
Open

rayyan224 wants to merge 2 commits into
mainfrom
ci/smoke-use-make-targets

Conversation

@rayyan224

Copy link
Copy Markdown
Collaborator

Summary

  • Run the smoke workflow through the documented runbook: make smoke-setup then make smoke-all KEEP_GOING=1 (the separate forge build step is dropped, smoke-all already builds).
  • Replace the rpc_url input and repo-wide key secrets with a network input that names a GitHub Environment. Each environment holds one SMOKE_CONFIG JSON secret (rpc_url, deployer_pk, user2_pk, optional faucet_url / faucet_network), so any chain can be targeted with its own funded keys and nothing network-specific or sensitive lives in git.
  • A new "Load network config" step validates the blob with jq, masks every value before exporting it, and fails fast on a missing/empty secret, invalid JSON, or missing required field (which also catches a mistyped network name).
  • Runs are serialized per network (smoke-<network> concurrency group) since they share a deployer nonce; the run summary shows the network name and chain id and no longer prints the RPC URL.
  • script/smoke/README.md documents the blob shape and an "Adding a network" recipe.

The workflow stays workflow_dispatch only and advisory; the harness is unchanged.

Test plan

  • Workflow YAML parses.
  • Dry-ran the config step locally: a valid blob exports the expected vars (masks printed first); empty, non-JSON, non-object, missing-field and empty-field blobs each exit 1 with a clear error.
  • make -n smoke-all KEEP_GOING=1 expands to the expected commands.
  • Create a GitHub Environment (e.g. zeronet) with a SMOKE_CONFIG secret, then dispatch: gh workflow run smoke-tests.yml --ref ci/smoke-use-make-targets -f network=zeronet. Not yet run in Actions.
  • Confirm no key or RPC URL appears in the run log or summary.
  • Dispatch with an unknown network name and confirm a fast "No SMOKE_CONFIG secret" failure.

Generated with Claude Code

rayyan224 and others added 2 commits October 2, 2026 11:34
Match the documented runbook (make smoke-setup / make smoke-all KEEP_GOING=1)
instead of invoking the Python runner directly; make smoke-all already runs
forge build, so the separate build step is dropped.

Generated with Claude Code

Co-Authored-By: Claude <noreply@anthropic.com>
Replace the rpc_url input and repo-wide key secrets with a `network` input that
names a GitHub Environment. Each environment holds one SMOKE_CONFIG JSON secret
(rpc_url, deployer_pk, user2_pk, optional faucet_*), which is validated, masked,
and exported for `make smoke-all`. Runs are serialized per network and the RPC
URL is no longer printed in the run summary. No network config lives in git.

Generated with Claude Code

Co-Authored-By: Claude <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 2, 2026

Copy link
Copy Markdown

Interface Coverage

✅ All interface functions have test coverage.

@github-actions

github-actions Bot commented Oct 2, 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% 99.68% 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.58% 97.78% 100.00%
🟢 MockPolicyRegistryStorage.sol 100.00% 100.00% 100.00% 100.00%
Total 97.12% 97.50% 98.21% 97.03%

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

@github-actions

github-actions Bot commented Oct 2, 2026

Copy link
Copy Markdown

⚠️ Fork tests: 80 failed, 744 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_batchMint_revert_tokenRecipient(address,uint256,uint256): Error != expected error: SupplyCapExceeded(340282366920938463463374607431768211455 [3.402e38], 340282366920938463463374607431768340698 [3.402e38]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x0e04a6a6000000000000000000000000a0b6a719c0ad15e9e5d180d9d26e477a1d0bba8b000000000000000000000000000000000000000000000000000000000001f8ddfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd args=[0xA0b6A719C0ad15E9E5D180D9d26E477a1d0BBA8b, 129245 [1.292e5], 115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77]]
  • test_invertedPolicyId_success_negatesAuthorization(address): custom error 0x6b468933; counterexample: calldata=0x4268079e0000000000000000000000009565b23411e3081a54aa0430d4944e8ddc5273c3 args=[0x9565B23411E3081A54AA0430d4944e8DDc5273C3]
  • test_invertedPolicyId_success_togglesAndRoundTrips(uint64): custom error 0x6b468933; counterexample: calldata=0x123f60c000000000000000000000000000000000000000000000000000000008e1579526 args=[38140351782 [3.814e10]]
  • test_isAuthorized_success_intersectAllowAndNotX(address): PolicyNotFound(); counterexample: calldata=0x55848b8e0000000000000000000000008635040e8ab335c78e4e36caaafc12fec75bdaff args=[0x8635040E8AB335c78e4e36CaaAfc12FEc75BDAFf]
  • test_isAuthorized_success_invertAllowlistNonMemberAuthorized(address): assertion failed; counterexample: calldata=0xb07c21cd000000000000000000000000b20f000000000000000000000000000000000000 args=[0xB20f000000000000000000000000000000000000]
  • test_isAuthorized_success_invertAlwaysBlockAuthorizes(address): assertion failed; counterexample: calldata=0xca9d7161000000000000000000000000000000000000000000000000000000000000000b args=[0x000000000000000000000000000000000000000b]
  • test_isAuthorized_success_invertBlocklistMemberAuthorized(address): assertion failed; counterexample: calldata=0x07261779000000000000000000000000eaa791dfe7be109479b48eef5be9c44c58354c59 args=[0xeAA791DFE7be109479b48EeF5bE9C44C58354c59]
  • test_mintWithMemo_revert_tokenRecipient(uint256,bytes32): next call did not revert as expected; counterexample: calldata=0x4ca8134a00000000000000000000000000000000000000000000000000000000000005ed7df19dd38faa3950f4a6d2fbe8c54fa070f12d7b3ffd010dc75bc94784f83d67 args=[1517, 0x7df19dd38faa3950f4a6d2fbe8c54fa070f12d7b3ffd010dc75bc94784f83d67]
  • test_mint_revertOrder_tokenRecipient_beats_cap(uint256): Error != expected error: SupplyCapExceeded(0, 14033537869023562765622050 [1.403e25]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0xc475cac10000000000000000000000000000000000000000000b9bb79cbd3eae197adb22 args=[14033537869023562765622050 [1.403e25]]
  • test_mint_revertOrder_tokenRecipient_beats_policy(uint256): Error != expected error: PolicyForbids(0xa0d5ae037e66a09119acf080a1d807abb9b6d03b6b9130eb19f7c1e6bdb8ffc8, 72057594037927937 [7.205e16]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x6ea980310000000000000000000000000000000000000000000000000000000000003955 args=[14677 [1.467e4]]
  • test_mint_revert_tokenRecipient(uint256): next call did not revert as expected; counterexample: calldata=0x03224e1a0000000000000000000000000000000000000000000000000000000000001223 args=[4643]
  • test_policyAdmin_success_invertResolvesBaseAdmin(address): assertion failed: 0x0000000000000000000000000000000000000000 != 0x7AA70123310B8141Bfb5Ab60efd680034C00bc38; counterexample: calldata=0xee7ff5a60000000000000000000000007aa70123310b8141bfb5ab60efd680034c00bc38 args=[0x7AA70123310B8141Bfb5Ab60efd680034C00bc38]
  • test_policyExists_success_invertMirrorsBase(uint56): assertion failed; counterexample: calldata=0xf4aec5dc0000000000000000000000000000000000000000000000000000000000001127 args=[4391]
  • test_seizeWithMemo_revertOrder_tokenRecipient_beats_blocked(address): Error != expected error: AccountNotSeizable(0x28619DC0d4d8c3277819C27e90ad8d652BAa0B9C) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x4ce156d200000000000000000000000028619dc0d4d8c3277819c27e90ad8d652baa0b9c args=[0x28619DC0d4d8c3277819C27e90ad8d652BAa0B9C]
  • test_seizeWithMemo_revert_tokenRecipient(address,uint256): Error != expected error: InsufficientBalance(0xac5E615aE38a56c4BE75aEf924C3eB559Eb3806E, 0, 2960485291879965955135280343404303879762786701691180161298040 [2.96e60]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x220d05f3000000000000000000000000ac5e615ae38a56c4be75aef924c3eb559eb3806e00000000000001d7a1eca4e23e840ad9e0390382801b4684c9173a0f1fd1ee78 args=[0xac5E615aE38a56c4BE75aEf924C3eB559Eb3806E, 2960485291879965955135280343404303879762786701691180161298040 [2.96e60]]
  • test_transferFromWithMemo_revert_tokenRecipient(address,address,uint256,bytes32): Error != expected error: InsufficientAllowance(0xa9e04dEA946733d6C2c8474e1B5F103E479e7768, 0, 2635465953326475870714735661286870323176922310540425367680 [2.635e57]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0xac063dd0000000000000000000000000a9e04dea946733d6c2c8474e1b5f103e479e77680000000000000000000000008c4b06bf1a0957c900d29da92178c3d66c7860d400000000000000006b7b8c650b176190559e9cce38df3014b25b598155471080b99972e1951064934fdff918eaed1c8ae331411a8102883b6760aac5d8071de3 args=[0xa9e04dEA946733d6C2c8474e1B5F103E479e7768, 0x8C4B06bf1A0957C900d29Da92178c3d66C7860D4, 2635465953326475870714735661286870323176922310540425367680 [2.635e57], 0xb99972e1951064934fdff918eaed1c8ae331411a8102883b6760aac5d8071de3]
  • test_transferFrom_revertOrder_tokenRecipient_beats_allowance(address,address,uint256): Error != expected error: InsufficientAllowance(0x7eC9C2c49A65231F983fdF34Fe00c6cFCC6B7F32, 0, 340282366920938463463374607431768211453 [3.402e38]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x98d9a95e0000000000000000000000007ec9c2c49a65231f983fdf34fe00c6cfcc6b7f32000000000000000000000000dfa8d8c63ec351220af3da67bfac9ceeed91522bfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd args=[0x7eC9C2c49A65231F983fdF34Fe00c6cFCC6B7F32, 0xDFa8d8C63Ec351220Af3dA67bFac9cEEed91522b, 115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77]]
  • test_transferFrom_revertOrder_tokenRecipient_beats_executorPolicy(address,address,uint256): Error != expected error: InsufficientAllowance(0x9e99613e24415952099ac2c488B2f5ea616939aa, 0, 47434829212390358000276514400117524768 [4.743e37]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x0fbad0310000000000000000000000009e99613e24415952099ac2c488b2f5ea616939aa0000000000000000000000003c09472751e180aa6344a1656d91bac3ee29f0130000000000000000000000000000000823af9da4fbdd4ec03ceac1ffbc090918 args=[0x9e99613e24415952099ac2c488B2f5ea616939aa, 0x3C09472751e180aa6344a1656D91bAC3eE29F013, 2769693764579898065707273373854263216408 [2.769e39]]
  • test_transferFrom_revert_selfCaller_executorPolicyForbids(address,address,uint256): next call did not revert as expected; counterexample: calldata=0x641b204b00000000000000000000000096b6be8ba8fbcb1f9bdd7bd8d22f54de424381fb000000000000000000000000bd2f49e7a0a368f81e59076a1fe47a613b76641f0000000000000088a3a4ce116e21f4b5b923e937e178acc5547149b3ee0261ea args=[0x96b6be8ba8FBcb1f9BDd7bD8d22f54De424381Fb, 0xBd2F49e7a0a368F81e59076a1fe47A613B76641F, 857698369561685317728802890919323294819144532860783409914346 [8.576e59]]
  • test_transferFrom_revert_tokenRecipient(address,address,uint256): Error != expected error: InsufficientAllowance(0xC669B119a951364b27A9c73Fc4b1134aef8b6f98, 0, 385) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0xb9f54792000000000000000000000000c669b119a951364b27a9c73fc4b1134aef8b6f9800000000000000000000000028f3951827255a8d7646dcaa70ace3e8c9bfe0e80000000000000000000000000000000000000000000000000000000000000181 args=[0xC669B119a951364b27A9c73Fc4b1134aef8b6f98, 0x28f3951827255a8d7646DcAa70Ace3E8c9bfe0E8, 385]
  • test_transferWithMemo_revertOrder(address,address,uint256,bytes32): Error != expected error: PolicyForbids(0xb81736c875ab819dd97f59f2a6542cfb731ad52b4ae15a6f24df2fb02b0327f5, 72057594037927937 [7.205e16]) != PolicyForbids(0x10be5173aff2a44e748bd9acd8b19fe34689581398a9db7ba2fb671e786ff7d8, 72057594037927937 [7.205e16]); counterexample: calldata=0xf5e311250000000000000000000000006d588156bf69e9defbf42aae49447e5d86979e130000000000000000000000004b4bced8a9a76686ac27d9395033f1634fac44ad0000000000000000000000000000000000000000000000000000000000d6c9f793b5675c187f59c3792411acae1c6a2178fc9f8d4c569cd216207560cedfebc4 args=[0x6d588156bF69e9DEFbF42AAe49447e5d86979e13, 0x4b4bCED8A9A76686Ac27D9395033F1634FAc44AD, 14076407 [1.407e7], 0x93b5675c187f59c3792411acae1c6a2178fc9f8d4c569cd216207560cedfebc4]
  • test_transferWithMemo_revert_executorPolicyForbids(address,address,uint256,bytes32): Error != expected error: InsufficientBalance(0x0000000000000000000000000000000000000a40, 0, 32) != PolicyForbids(0x10be5173aff2a44e748bd9acd8b19fe34689581398a9db7ba2fb671e786ff7d8, 72057594037927937 [7.205e16]); counterexample: calldata=0xa3802c170000000000000000000000000000000000000000000000000000000000000a4000000000000000000000000000000000000000000000000000000000000035810000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000312d args=[0x0000000000000000000000000000000000000a40, 0x0000000000000000000000000000000000003581, 32, 0x000000000000000000000000000000000000000000000000000000000000312d]
  • test_transferWithMemo_revert_tokenRecipient(address,uint256,bytes32): Error != expected error: InsufficientBalance(0x34E173674131AA1ca814034bd160bDD81595C860, 0, 73831046395901039876243533063492474132250570152335160461390 [7.383e58]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0xe48d515500000000000000000000000034e173674131aa1ca814034bd160bdd81595c860000000000000000bc3101750eece50592581f3b3368a90bb5ba66fb12941484e3835c3809cfcd4a10d36786affd8600a987b0fcb64313be1c520f34291b1dddc args=[0x34E173674131AA1ca814034bd160bDD81595C860, 73831046395901039876243533063492474132250570152335160461390 [7.383e58], 0x3835c3809cfcd4a10d36786affd8600a987b0fcb64313be1c520f34291b1dddc]
  • test_transfer_revertOrder_executorPolicy_beats_balance(address,address,uint256): Error != expected error: InsufficientBalance(0x99B0FA5205BeFDf4Cd13fF1da974111E22F0CeF4, 0, 4816856275397646 [4.816e15]) != PolicyForbids(0x10be5173aff2a44e748bd9acd8b19fe34689581398a9db7ba2fb671e786ff7d8, 72057594037927937 [7.205e16]); counterexample: calldata=0x76b31f6e00000000000000000000000099b0fa5205befdf4cd13ff1da974111e22f0cef4000000000000000000000000384f38e249916673d27a803cdbe5a5508a07f2d600000000000000000000000000000000000000000000000000111ce7bf3aac0e args=[0x99B0FA5205BeFDf4Cd13fF1da974111E22F0CeF4, 0x384f38e249916673D27a803CdBe5a5508A07f2d6, 4816856275397646 [4.816e15]]
  • test_transfer_revertOrder_executorPolicy_beats_receiverPolicy(address,address,uint256): Error != expected error: PolicyForbids(0x8a4b3fa2d8b921852bc0089c6ef0958aa6961897be36fd731330fe2cd23f8363, 72057594037927937 [7.205e16]) != PolicyForbids(0x10be5173aff2a44e748bd9acd8b19fe34689581398a9db7ba2fb671e786ff7d8, 72057594037927937 [7.205e16]); counterexample: calldata=0x67f822c50000000000000000000000009cc8a976a7fc4a787cad9c546af05150dca6ba7a0000000000000000000000002495be598a004f256b666e1ca4ce5dbce8bc1aad000000000000000000000000000000000000474d6b967f5092099d3874929fce args=[0x9cc8a976A7fc4A787CAd9C546aF05150DCa6Ba7a, 0x2495be598a004f256b666e1ca4ce5DBce8bC1aaD, 1446184947209017586176899316621262 [1.446e33]]
  • test_transfer_revertOrder_executorPolicy_beats_senderPolicy(address,address,uint256): Error != expected error: PolicyForbids(0xb81736c875ab819dd97f59f2a6542cfb731ad52b4ae15a6f24df2fb02b0327f5, 72057594037927937 [7.205e16]) != PolicyForbids(0x10be5173aff2a44e748bd9acd8b19fe34689581398a9db7ba2fb671e786ff7d8, 72057594037927937 [7.205e16]); counterexample: calldata=0xe9945cbb000000000000000000000000ad506b269d8c80ea0d26eced9205fd336425026500000000000000000000000017cc77eeb2097c54f48bb787f6b04557d82598340001465dd6b3a7e13f9f92a6f9f4ca65f933f6773cc16a3ef2f5517094260df9 args=[0xaD506b269d8C80EA0D26eCEd9205fD3364250265, 0x17Cc77Eeb2097c54F48Bb787f6b04557D8259834, 2252499194830287376887820315222700727714301861400267955557471064854760953 [2.252e72]]
  • test_transfer_revertOrder_tokenRecipient_beats_balance(address,uint256): Error != expected error: InsufficientBalance(0xd598cee4D36B08f8f6ABD4F783B2065e54082E01, 0, 662643675101106103162 [6.626e20]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x71022c5e000000000000000000000000d598cee4d36b08f8f6abd4f783b2065e54082e01000000000000000000000000000000000000000000000023ec073faaf4c9637a args=[0xd598cee4D36B08f8f6ABD4F783B2065e54082E01, 662643675101106103162 [6.626e20]]
  • test_transfer_revertOrder_tokenRecipient_beats_executorPolicy(address,uint256): Error != expected error: InsufficientBalance(0x265EbA06933600E1d62b8d8a0818eD9E700E4CC6, 0, 1613598171940057797984517057425612123505536883391 [1.613e48]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x5de2a22f000000000000000000000000265eba06933600e1d62b8d8a0818ed9e700e4cc60000000000000000000000011aa43e97082218575bcae3db761e002a65d55abf args=[0x265EbA06933600E1d62b8d8a0818eD9E700E4CC6, 1613598171940057797984517057425612123505536883391 [1.613e48]]
  • test_transfer_revertOrder_tokenRecipient_beats_receiverPolicy(address,uint256): Error != expected error: PolicyForbids(0x8a4b3fa2d8b921852bc0089c6ef0958aa6961897be36fd731330fe2cd23f8363, 72057594037927937 [7.205e16]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x85d001e400000000000000000000000072486e9062f4ccb900177c4292987ff9d6d9c77c00000000000000000000000000000039144540bee9786028e8b94e0915a50cad args=[0x72486E9062F4cCb900177c4292987FF9d6D9C77c, 19423039056092250681882477439897120869549 [1.942e40]]
  • test_transfer_revertOrder_tokenRecipient_beats_senderPolicy(address,uint256): Error != expected error: PolicyForbids(0xb81736c875ab819dd97f59f2a6542cfb731ad52b4ae15a6f24df2fb02b0327f5, 72057594037927937 [7.205e16]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x82b0eb1a00000000000000000000000046cc3e2d117fe7e63b2783dcc21ef1c00571754a0000000007726f15ab828a348a9ae05b1a4dd50c2945a56a1ede9e68bc0ed437 args=[0x46CC3E2d117fE7e63B2783dcC21EF1C00571754A, 784261427711014904925554629907222084556263012750015631398695523383 [7.842e65]]
  • test_transfer_revertOrder_tokenRecipient_beats_zeroSender(uint256): Error != expected error: InvalidSender(0x0000000000000000000000000000000000000000) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x842ce614000000000000000000000000000000000000000000000000000000000000270f args=[9999]
  • test_transfer_revert_executorPolicyForbids(address,address,uint256): Error != expected error: InsufficientBalance(0x9c0f79F17C77f19DbA6B4C9D7e4BF3caF487B452, 0, 21998098407391223537658465056910045163892634403921103878252099312413352798749 [2.199e76]) != PolicyForbids(0x10be5173aff2a44e748bd9acd8b19fe34689581398a9db7ba2fb671e786ff7d8, 72057594037927937 [7.205e16]); counterexample: calldata=0xe8de369d0000000000000000000000009c0f79f17c77f19dba6b4c9d7e4bf3caf487b452000000000000000000000000c86115c7bd171dde80c5d3c1da0952ef14e5d06030a27b8329462b6175c8317ff8a13da9136605ced41c1640d10c9a189dde2a1d args=[0x9c0f79F17C77f19DbA6B4C9D7e4BF3caF487B452, 0xC86115C7Bd171DdE80C5D3C1dA0952Ef14E5D060, 21998098407391223537658465056910045163892634403921103878252099312413352798749 [2.199e76]]
  • test_transfer_revert_externalExecutorPolicyDenies(address,address,uint256): Error != expected error: InsufficientBalance(0x3a6e1defc702e186dA927c3EA62B0167aBdA99d8, 0, 27484389811469354388294181823039107789625131 [2.748e43]) != PolicyForbids(0x10be5173aff2a44e748bd9acd8b19fe34689581398a9db7ba2fb671e786ff7d8, 72057594037927938 [7.205e16]); counterexample: calldata=0x66ef86710000000000000000000000003a6e1defc702e186da927c3ea62b0167abda99d80000000000000000000000002503bfa0b6d8850e01b0934c40a14b6549c19c8f00000000000000000000000000013b815cc61cade6fed9b3bae9407e5182172b args=[0x3a6e1defc702e186dA927c3EA62B0167aBdA99d8, 0x2503BFa0B6D8850E01b0934c40A14B6549c19c8F, 27484389811469354388294181823039107789625131 [2.748e43]]
  • test_transfer_revert_tokenRecipient(address,uint256): Error != expected error: InsufficientBalance(0x761bb13a37d3FA6e6FCE047D9043D3F526b445e2, 0, 3576863165637511207665 [3.576e21]) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf); counterexample: calldata=0x0221ddf6000000000000000000000000761bb13a37d3fa6e6fce047d9043d3f526b445e20000000000000000000000000000000000000000000000c1e6f2b21d330ddaf1 args=[0x761bb13a37d3FA6e6FCE047D9043D3F526b445e2, 3576863165637511207665 [3.576e21]]
    [FAIL: Error != expected error: InvalidSender(0x0000000000000000000000000000000000000000) != InvalidReceiver(0xB2000000000000000000009E871a2184B5aFaCCf)] test_seizeWithMemo_revertOrder_tokenRecipient_beats_zeroSender() (gas: 47044)
    [FAIL: Error != expected error: PolicyNotFound() != InvalidChildPolicy(9367487224930631684 [9.367e18])] test_createCompositePolicy_revert_invertedCompositeChild() (gas: 234691)
    [FAIL: PolicyNotFound()] test_compositePolicyChildIds_success_invertedCompositeIdReturnsSameSet() (gas: 130091)
    [FAIL: PolicyNotFound()] test_compositePolicyChildIds_success_returnsChildrenVerbatim() (gas: 130113)
    [FAIL: PolicyNotFound()] test_compositePolicyChildIds_success_returnsInvertedChildVerbatimAfterUpdate() (gas: 234463)
    [FAIL: PolicyNotFound()] test_createCompositePolicy_success_invertedSimpleChild() (gas: 130101)

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.

1 participant