xa0Cb889707d426A7A386870A03bc70d1b0697598EmptyBase>
[2025-05-18 10:14:57.39] [status] tests: 3/29, fuzzing: 33210/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:00.39] [status] tests: 3/29, fuzzing: 40219/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:03.41] [status] tests: 3/29, fuzzing: 46670/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:06.44] [status] tests: 3/29, fuzzing: 53356/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:09.46] [status] tests: 3/29, fuzzing: 59733/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:10.99] INFO: Performing RPC: <EVM.Query: fetch contract 0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758EmptyBase>
[2025-05-18 10:15:10.99] ERROR: Requested RPC but it is not configured: <EVM.Query: fetch contract 0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758EmptyBase>
[2025-05-18 10:15:12.47] [status] tests: 3/29, fuzzing: 66731/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:15.47] [status] tests: 3/29, fuzzing: 73606/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:18.49] [status] tests: 3/29, fuzzing: 80796/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:20.21] INFO: Performing RPC: <EVM.Query: fetch contract 0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440fEmptyBase>
[2025-05-18 10:15:20.21] ERROR: Requested RPC but it is not configured: <EVM.Query: fetch contract 0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440fEmptyBase>
[2025-05-18 10:15:21.49] [status] tests: 3/29, fuzzing: 87896/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:22.57] INFO: Performing RPC: <EVM.Query: fetch contract 0x13aa49bAc059d709dd0a18D6bb63290076a702D7EmptyBase>
[2025-05-18 10:15:22.57] ERROR: Requested RPC but it is not configured: <EVM.Query: fetch contract 0x13aa49bAc059d709dd0a18D6bb63290076a702D7EmptyBase>
[2025-05-18 10:15:24.50] [status] tests: 3/29, fuzzing: 95011/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:27.51] [status] tests: 3/29, fuzzing: 102584/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:30.52] [status] tests: 3/29, fuzzing: 109941/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:33.53] [status] tests: 3/29, fuzzing: 116599/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:36.53] [status] tests: 3/29, fuzzing: 123649/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:39.54] [status] tests: 3/29, fuzzing: 130982/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:42.54] [status] tests: 3/29, fuzzing: 138425/10000000000, values: [], cov: 22335, corpus: 30
[2025-05-18 10:15:45.56] [status] tests: 3/29, fuzzing: 144284/10000000000, values: [], cov: 22335, corpus: 30
ECHIDNA process stopped by user
[2025-05-18 10:15:45.61] [Worker 0] Killed (thread killed). Stopping.
[2025-05-18 10:15:45.61] [Worker 2] Killed (thread killed). Stopping.
[2025-05-18 10:15:45.61] [Worker 1] Killed (thread killed). Stopping.
[2025-05-18 10:15:45.61] [Worker 3] Killed (thread killed). Stopping.
[2025-05-18 10:15:45.61] [Worker 4] Killed (thread killed). Stopping.
[2025-05-18 10:15:45.61] [Worker 5] Killed (thread killed). Stopping.
[2025-05-18 10:15:45.61] [Worker 6] Killed (thread killed). Stopping.
[2025-05-18 10:15:45.61] [Worker 7] Killed (thread killed). Stopping.
[2025-05-18 10:15:45.61] [status] tests: 3/29, fuzzing: 144385/10000000000, values: [], cov: 22335, corpus: 30
rewardsManager_accrueUser_clamped(uint256): passing
rewardsManager_claimRewards(uint256[],address[],address[],address[]): passing
rewardsManager_addBulkRewards(uint256,uint256,address,address,uint256[]): passing
rewardsManager_accrueVault_clamped(uint256): passing
rewardsManager_accrueUser(uint256,address,address): passing
asset_approve(address,uint128): passing
solvency_balance_atEpoch_nonZero(): passing
claim_rewards_never_reverts(): passing
canary_totalSupply_atEpoch(): failed!💥
Call sequence, shrinking 797/100000:
CryticTester.rewardsManager_notifyTransfer(0,0,1,true,false)
CryticTester.canary_totalSupply_atEpoch()
Traces:
call 0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f::�[1mcurrentEpoch�[0m() �[1m(/Users/cerberus/Desktop/Consulting/rewards-manager-2/test/recon/Properties.sol:18)�[0m
└╴← (1)
call 0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f::�[1mgetTotalSupplyAtEpoch�[0m(1, �[1mCryticTester�[0m) �[1m(/Users/cerberus/Desktop/Consulting/rewards-manager-2/test/recon/Properties.sol:18)�[0m
└╴← (1, false)
emit �[36mLog�[0m(«Total supply is less than 0») �[1m(/Users/cerberus/Desktop/Consulting/rewards-manager-2/lib/chimera/src/CryticAsserts.sol:39)�[0m
switch_asset(uint256): passing
rewardsManager_claimRewardEmitting(uint256,address,address,address): passing
asset_mint(address,uint128): passing
switchActor(uint256): passing
rewardsManager_tear((uint256,uint256,address,address[])): failed!💥
Call sequence, shrinking 797/100000:
CryticTester.add_new_asset(0)
CryticTester.add_new_asset(0)
CryticTester.add_new_asset(0)
*wait* Time delay: 618098 seconds Block delay: 32350
CryticTester.add_new_asset(0)
CryticTester.add_new_asset(0)
CryticTester.add_new_asset(0)
CryticTester.add_new_asset(0)
CryticTester.add_new_asset(0)
CryticTester.add_new_asset(0)
CryticTester.add_new_asset(0)
CryticTester.rewardsManager_tear((1, 1, 0x0, [0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7]))
Traces:
call �[1mHEVM�[0m::�[1mprank�[0m(�[1mCryticTester�[0m) �[1m(/Users/cerberus/Desktop/Consulting/rewards-manager-2/test/recon/Setup.sol:43)�[0m
└╴← 0x
call 0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f::0xc5d5ecc50000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000010000000000000000000000003d7ebc40af7092e3f1c81f2e996cba5cae2090d7 �[1m(/Users/cerberus/Desktop/Consulting/rewards-manager-2/test/recon/targets/RewardsManagerTargets.sol:99)�[0m
├╴emit �[36mBulkClaimReward�[0m(epochStart=1, epochEnd=1, vault=0x0000000000000000000000000000000000000000, token=0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7, totalAmount=0, claimer=�[1mCryticTester�[0m) �[1m<no source map>�[0m
├╴call 0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7::�[1mtransfer�[0m(�[1mCryticTester�[0m, 0) �[1m<no source map>�[0m
│ ├╴emit �[36mTransfer�[0m(from=0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f, to=�[1mCryticTester�[0m, value=0) �[1m<no source map>�[0m
│ └╴← (true)
└╴← 0x
emit �[36mLog�[0m(«tear») �[1m(/Users/cerberus/Desktop/Consulting/rewards-manager-2/lib/chimera/src/CryticAsserts.sol:46)�[0m
add_new_asset(uint8): passing
rewardsManager_claimBulkTokensOverMultipleEpochs(uint256,uint256,address,address[],address): failed!💥
Call sequence, shrinking 37203/100000:
*wait* Time delay: 605679 seconds Block delay: 1
CryticTester.rewardsManager_claimBulkTokensOverMultipleEpochs(1,1,0x0,[0xf62849f9a0b5bf2913b396098f7c7019b51a820a],0x0)
Traces:
call �[1mHEVM�[0m::�[1mprank�[0m(�[1mCryticTester�[0m) �[1m(/Users/cerberus/Desktop/Consulting/rewards-manager-2/test/recon/Setup.sol:43)�[0m
└╴← 0x
call 0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f::�[1mclaimBulkTokensOverMultipleEpochs�[0m(1, 1, 0x0000000000000000000000000000000000000000, [0xF62849F9A0B5Bf2913b396098F7c7019b51A820a], 0x0000000000000000000000000000000000000000) �[1m(/Users/cerberus/Desktop/Consulting/rewards-manager-2/test/recon/targets/RewardsManagerTargets.sol:72)�[0m
├╴emit �[36mBulkClaimReward�[0m(epochStart=1, epochEnd=1, vault=0x0000000000000000000000000000000000000000, token=0xF62849F9A0B5Bf2913b396098F7c7019b51A820a, totalAmount=0, claimer=0x0000000000000000000000000000000000000000) �[1m<no source map>�[0m
├╴call 0xF62849F9A0B5Bf2913b396098F7c7019b51A820a::�[1mtransfer�[0m(0x0000000000000000000000000000000000000000, 0) �[1m<no source map>�[0m
│ ├╴emit �[36mTransfer�[0m(from=0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f, to=0x0000000000000000000000000000000000000000, value=0) �[1m<no source map>�[0m
│ └╴← (true)
└╴← 0x
emit �[36mLog�[0m(«claimBulkTokensOverMultipleEpochs») �[1m(/Users/cerberus/Desktop/Consulting/rewards-manager-2/lib/chimera/src/CryticAsserts.sol:46)�[0m
doomsday_sum_of_claims(): passing
rewardsManager_claimReward_clamped(uint256): passing
rewardsManager_notifyTransfer(uint256,uint256,uint256,bool,bool): passing
rewardsManager_addReward_clamped(uint256,uint256): passing
rewardsManager_reap((uint256,uint256,address,address[])): passing
rewardsManager_accrueVault(uint256,address): passing
rewardsManager_claimRewardReferenceEmitting(uint256,address,address,address): passing
rewardsManager_addReward(uint256,address,address,uint256): passing
doomsday_accrual_logic_is_sound(): passing
rewardsManager_claimReward(uint256,address,address,address): passing
rewardsManager_addBulkRewardsLinearly(uint256,uint256,address,address,uint256): passing
solvency_totalSupply_atEpoch(): pa
https://gist.githubusercontent.com/GalloDaSballo/d49773eef1d4ef0725e22d37dd0069cb/raw/d0e7b97713335caeeb7b49eff564a1704d277023/New%2520Repro.MD