lcov.info

TN:
SF:script/AddLeafX509.s.sol
FN:16,AddLeaftX509.run
FNDA:0,AddLeaftX509.run
DA:17,0
DA:17,0
DA:17,0
DA:18,0
DA:18,0
DA:18,0
DA:20,0
DA:20,0
FNF:1
FNH:0
LF:3
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:script/BaseScript.s.sol
FN:39,BaseScript.isMainnet
FNDA:208,BaseScript.isMainnet
DA:40,208
DA:40,208
FN:43,BaseScript.isAnvil
FNDA:309,BaseScript.isAnvil
DA:44,309
DA:44,309
FNF:2
FNH:2
LF:2
LH:2
BRF:0
BRH:0
end_of_record
TN:
SF:script/DeployEverything.s.sol
FN:24,DeployEverything.run
FNDA:104,DeployEverything.run
DA:25,104
DA:25,104
DA:30,104
DA:30,104
DA:30,104
DA:32,104
DA:32,104
DA:33,104
DA:33,104
DA:34,104
DA:34,104
DA:35,104
DA:35,104
DA:36,104
DA:36,104
DA:38,104
DA:38,104
DA:39,104
DA:39,104
DA:41,104
DA:41,104
DA:41,104
DA:46,104
DA:46,104
DA:48,104
DA:48,104
DA:48,104
DA:52,104
DA:52,104
DA:53,104
DA:53,104
DA:54,104
DA:54,104
DA:55,104
DA:55,104
DA:58,104
BRDA:58,0,0,-
BRDA:58,0,1,104
DA:59,0
DA:59,0
DA:60,104
DA:60,104
BRDA:60,1,0,102
BRDA:60,1,1,2
DA:62,102
DA:62,102
DA:65,2
DA:65,2
DA:68,104
DA:68,104
DA:70,104
DA:70,104
DA:72,104
DA:72,104
FN:75,DeployEverything._writeJson
FNDA:104,DeployEverything._writeJson
DA:76,104
DA:76,104
DA:78,104
DA:78,104
DA:79,104
DA:79,104
DA:80,104
DA:80,104
DA:81,104
DA:81,104
DA:83,104
DA:83,104
DA:84,104
DA:84,104
DA:85,104
DA:85,104
DA:86,104
DA:86,104
DA:87,104
DA:87,104
DA:88,104
DA:88,104
DA:89,104
DA:89,104
DA:90,104
DA:90,104
DA:91,104
DA:91,104
DA:93,104
DA:93,104
DA:93,104
DA:94,104
DA:94,104
FNF:2
FNH:2
LF:40
LH:39
BRF:4
BRH:3
end_of_record
TN:
SF:script/DeployGuardians.s.sol
FN:12,DeployGuardians.run
FNDA:104,DeployGuardians.run
DA:17,104
DA:17,104
DA:19,104
DA:19,104
DA:19,104
DA:21,104
DA:21,104
DA:21,104
DA:23,104
DA:23,104
DA:24,104
DA:24,104
DA:25,104
DA:25,104
DA:26,104
DA:26,104
DA:28,104
DA:28,104
FNF:1
FNH:1
LF:8
LH:8
BRF:0
BRH:0
end_of_record
TN:
SF:script/DeployPuffer.s.sol
FN:54,DeployPuffer.run
FNDA:104,DeployPuffer.run
DA:59,104
DA:59,104
DA:61,104
DA:61,104
BRDA:61,0,0,-
BRDA:61,0,1,1
DA:63,1
DA:63,1
DA:64,1
DA:64,1
DA:65,1
DA:65,1
DA:66,1
DA:66,1
DA:67,103
DA:67,103
BRDA:67,1,0,-
BRDA:67,1,1,102
DA:69,102
DA:69,102
DA:70,102
DA:70,102
DA:71,102
DA:71,102
DA:72,102
DA:72,102
DA:75,1
DA:75,1
DA:76,1
DA:76,1
DA:77,1
DA:77,1
DA:78,1
DA:78,1
DA:81,104
DA:81,104
DA:82,104
DA:82,104
DA:82,104
DA:89,104
DA:89,104
DA:98,104
DA:98,104
DA:100,104
DA:100,104
DA:100,104
DA:106,104
DA:106,104
DA:108,104
DA:108,104
DA:110,104
DA:110,104
DA:117,104
DA:117,104
DA:126,104
DA:126,104
DA:128,104
DA:128,104
DA:129,104
DA:129,104
DA:131,104
DA:131,104
DA:134,104
DA:134,104
DA:136,104
DA:136,104
DA:137,104
DA:137,104
DA:138,104
DA:138,104
DA:139,104
DA:139,104
DA:140,104
DA:140,104
DA:141,104
DA:141,104
DA:142,104
DA:142,104
DA:143,104
DA:143,104
DA:144,104
DA:144,104
DA:147,104
DA:147,104
DA:147,104
FN:165,DeployPuffer.getStakingContract
FNDA:104,DeployPuffer.getStakingContract
DA:167,104
DA:167,104
BRDA:167,2,0,1
BRDA:167,2,1,103
DA:168,1
DA:168,1
DA:172,103
DA:172,103
BRDA:172,3,0,1
BRDA:172,3,1,102
DA:173,1
DA:173,1
DA:177,102
DA:177,102
BRDA:177,4,0,-
BRDA:177,4,1,102
DA:178,0
DA:178,0
DA:182,102
DA:182,102
BRDA:182,5,0,-
BRDA:182,5,1,102
DA:183,102
DA:183,102
DA:183,102
DA:187,0
DA:187,0
FNF:2
FNH:2
LF:48
LH:46
BRF:12
BRH:8
end_of_record
TN:
SF:script/DeployPufferOracle.s.sol
FN:11,DeployPufferOracle.run
FNDA:104,DeployPufferOracle.run
DA:16,104
DA:16,104
DA:17,104
DA:17,104
DA:19,104
DA:19,104
DA:19,104
FNF:1
FNH:1
LF:3
LH:3
BRF:0
BRH:0
end_of_record
TN:
SF:script/DepositETH.s.sol
FN:19,DepositETH.run
FNDA:0,DepositETH.run
DA:20,0
DA:20,0
DA:20,0
DA:21,0
DA:21,0
DA:21,0
DA:23,0
DA:23,0
FNF:1
FNH:0
LF:3
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:script/ReadValidators.s.sol
FN:15,ReadValidators.run
FNDA:0,ReadValidators.run
DA:21,0
DA:21,0
DA:21,0
DA:21,0
DA:22,0
DA:22,0
DA:23,0
DA:23,0
DA:24,0
DA:24,0
DA:25,0
DA:25,0
DA:26,0
DA:26,0
FNF:1
FNH:0
LF:6
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:script/SetGuardianEnclaveMeasurements.s.sol
FN:16,SetEnclaveMeasurements.run
FNDA:0,SetEnclaveMeasurements.run
DA:17,0
DA:17,0
DA:17,0
DA:19,0
DA:19,0
DA:19,0
DA:21,0
DA:21,0
FNF:1
FNH:0
LF:3
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:script/SetupAccess.s.sol
FN:32,SetupAccess.run
FNDA:104,SetupAccess.run
DA:33,104
DA:33,104
DA:34,104
DA:34,104
DA:37,104
DA:37,104
DA:37,104
DA:38,104
DA:38,104
DA:38,104
DA:39,104
DA:39,104
DA:39,104
DA:40,104
DA:40,104
DA:40,104
DA:41,104
DA:41,104
DA:41,104
DA:42,104
DA:42,104
DA:42,104
DA:44,104
DA:44,104
DA:44,104
DA:45,104
DA:45,104
DA:46,104
DA:46,104
DA:47,104
DA:47,104
DA:48,104
DA:48,104
DA:49,104
DA:49,104
DA:50,104
DA:50,104
DA:52,104
DA:52,104
DA:53,104
DA:53,104
DA:54,104
DA:54,104
DA:56,104
DA:56,104
DA:57,104
DA:57,104
DA:58,104
DA:58,104
DA:59,104
DA:59,104
DA:61,104
DA:61,104
DA:62,104
DA:62,104
DA:64,104
DA:64,104
DA:65,104
DA:65,104
DA:66,104
DA:66,104
DA:68,104
DA:68,104
DA:69,104
DA:69,104
DA:70,104
DA:70,104
DA:72,104
DA:72,104
DA:75,104
DA:75,104
DA:75,104
DA:76,104
DA:76,104
DA:76,104
DA:77,104
DA:77,104
BRDA:77,0,0,-
BRDA:77,0,1,104
FN:80,SetupAccess._setupPufferOracleAccess
FNDA:104,SetupAccess._setupPufferOracleAccess
DA:81,104
DA:81,104
DA:81,104
DA:84,104
DA:84,104
DA:84,104
DA:85,104
DA:85,104
DA:86,104
DA:86,104
DA:88,104
DA:88,104
DA:96,104
DA:96,104
DA:96,104
DA:97,104
DA:97,104
DA:99,104
DA:99,104
DA:103,104
DA:103,104
DA:103,104
DA:104,104
DA:104,104
DA:106,104
DA:106,104
DA:113,104
DA:113,104
FN:116,SetupAccess._setupPufferVaultMainnetAccess
FNDA:104,SetupAccess._setupPufferVaultMainnetAccess
DA:117,104
DA:117,104
DA:117,104
DA:119,104
DA:119,104
DA:119,104
DA:120,104
DA:120,104
DA:122,104
DA:122,104
DA:129,104
DA:129,104
DA:129,104
DA:130,104
DA:130,104
DA:132,104
DA:132,104
DA:139,104
DA:139,104
DA:139,104
DA:140,104
DA:140,104
DA:142,104
DA:142,104
DA:149,104
DA:149,104
FN:152,SetupAccess._setupValidatorTicketsAccess
FNDA:104,SetupAccess._setupValidatorTicketsAccess
DA:153,104
DA:153,104
DA:153,104
DA:155,104
DA:155,104
DA:155,104
DA:156,104
DA:156,104
DA:157,104
DA:157,104
DA:158,104
DA:158,104
DA:160,104
DA:160,104
DA:164,104
DA:164,104
DA:164,104
DA:165,104
DA:165,104
DA:166,104
DA:166,104
DA:168,104
DA:168,104
DA:175,104
DA:175,104
FN:178,SetupAccess._setupGuardianModuleRoles
FNDA:104,SetupAccess._setupGuardianModuleRoles
DA:179,104
DA:179,104
DA:179,104
DA:180,104
DA:180,104
DA:181,104
DA:181,104
DA:182,104
DA:182,104
DA:183,104
DA:183,104
DA:185,104
DA:185,104
DA:185,104
FN:190,SetupAccess._setupUpgradeableBeacon
FNDA:104,SetupAccess._setupUpgradeableBeacon
DA:191,104
DA:191,104
DA:191,104
DA:192,104
DA:192,104
DA:194,104
DA:194,104
DA:194,104
FN:202,SetupAccess._setupNoRestakingModuleRoles
FNDA:104,SetupAccess._setupNoRestakingModuleRoles
DA:203,104
DA:203,104
DA:203,104
DA:205,104
DA:205,104
DA:205,104
DA:206,104
DA:206,104
DA:208,104
DA:208,104
DA:215,104
DA:215,104
DA:215,104
DA:216,104
DA:216,104
DA:218,104
DA:218,104
DA:225,104
DA:225,104
DA:225,104
DA:226,104
DA:226,104
DA:228,104
DA:228,104
DA:235,104
DA:235,104
DA:235,104
DA:236,104
DA:236,104
DA:238,104
DA:238,104
DA:245,104
DA:245,104
FN:248,SetupAccess._setupEnclaveVerifierRoles
FNDA:104,SetupAccess._setupEnclaveVerifierRoles
DA:249,104
DA:249,104
DA:249,104
DA:250,104
DA:250,104
DA:252,104
DA:252,104
DA:252,104
FN:257,SetupAccess._setupPufferProtocolRoles
FNDA:104,SetupAccess._setupPufferProtocolRoles
DA:258,104
DA:258,104
DA:258,104
DA:260,104
DA:260,104
DA:260,104
DA:261,104
DA:261,104
DA:262,104
DA:262,104
DA:263,104
DA:263,104
DA:264,104
DA:264,104
DA:265,104
DA:265,104
DA:266,104
DA:266,104
DA:267,104
DA:267,104
DA:269,104
DA:269,104
DA:276,104
DA:276,104
DA:276,104
DA:277,104
DA:277,104
DA:279,104
DA:279,104
DA:286,104
DA:286,104
DA:286,104
DA:287,104
DA:287,104
DA:288,104
DA:288,104
DA:289,104
DA:289,104
DA:290,104
DA:290,104
DA:291,104
DA:291,104
DA:292,104
DA:292,104
DA:293,104
DA:293,104
DA:295,104
DA:295,104
DA:302,104
DA:302,104
FN:305,SetupAccess._grantRoles
FNDA:104,SetupAccess._grantRoles
DA:306,104
DA:306,104
DA:306,104
DA:308,104
DA:308,104
DA:309,104
DA:309,104
DA:312,104
DA:312,104
DA:316,104
DA:316,104
FNF:10
FNH:10
LF:122
LH:122
BRF:2
BRH:1
end_of_record
TN:
SF:src/EnclaveVerifier.sol
FN:41,EnclaveVerifier.getIntelRootCAPubKey
FNDA:1,EnclaveVerifier.getIntelRootCAPubKey
DA:42,1
DA:42,1
DA:42,1
FN:48,EnclaveVerifier.addLeafX509
FNDA:107,EnclaveVerifier.addLeafX509
DA:49,107
DA:49,107
DA:50,107
DA:50,107
DA:52,107
DA:52,107
DA:52,107
DA:54,107
DA:54,107
DA:56,107
DA:56,107
FN:62,EnclaveVerifier.removeLeafX509
FNDA:1,EnclaveVerifier.removeLeafX509
DA:63,1
DA:63,1
DA:64,1
DA:64,1
DA:65,1
DA:65,1
FN:71,EnclaveVerifier.verifyEvidence
FNDA:311,EnclaveVerifier.verifyEvidence
DA:79,311
DA:79,311
BRDA:79,0,0,1
BRDA:79,0,1,310
DA:80,1
DA:80,1
DA:83,310
DA:83,310
DA:86,310
DA:86,310
DA:86,310
DA:96,310
DA:96,310
DA:96,310
DA:99,310
DA:99,310
FNF:4
FNH:4
LF:15
LH:15
BRF:2
BRH:2
end_of_record
TN:
SF:src/GuardianModule.sol
FN:100,GuardianModule.splitGuardianFunds
FNDA:3,GuardianModule.splitGuardianFunds
DA:101,771
DA:101,771
DA:101,771
DA:103,771
DA:103,771
DA:103,771
DA:105,771
DA:105,771
DA:105,3340
DA:105,2569
DA:108,2569
DA:108,2569
FN:116,GuardianModule.validateSkipProvisioning
FNDA:261,GuardianModule.validateSkipProvisioning
DA:120,261
DA:120,261
DA:120,261
DA:123,261
DA:123,261
DA:123,261
DA:128,261
DA:128,261
BRDA:128,0,0,1
BRDA:128,0,1,260
DA:129,1
DA:129,1
FN:136,GuardianModule.validateProvisionNode
FNDA:821,GuardianModule.validateProvisionNode
DA:145,821
DA:145,821
DA:145,821
DA:154,821
DA:154,821
DA:154,821
DA:159,821
DA:159,821
BRDA:159,1,0,2
BRDA:159,1,1,819
DA:160,2
DA:160,2
FN:167,GuardianModule.validateFullWithdrawal
FNDA:11,GuardianModule.validateFullWithdrawal
DA:172,11
DA:172,11
DA:172,11
DA:175,11
DA:175,11
DA:175,11
DA:180,11
DA:180,11
BRDA:180,2,0,-
BRDA:180,2,1,11
DA:181,0
DA:181,0
FN:188,GuardianModule.validateTotalNumberOfValidators
FNDA:1,GuardianModule.validateTotalNumberOfValidators
DA:194,1
DA:194,1
DA:195,1
DA:195,1
DA:198,1
DA:198,1
DA:198,1
DA:203,1
DA:203,1
BRDA:203,3,0,-
BRDA:203,3,1,1
DA:204,0
DA:204,0
FN:211,GuardianModule.validateGuardiansEOASignatures
FNDA:1783,GuardianModule.validateGuardiansEOASignatures
DA:216,2056
DA:216,2056
DA:216,2056
FN:222,GuardianModule.validateGuardiansEnclaveSignatures
FNDA:0,GuardianModule.validateGuardiansEnclaveSignatures
DA:227,821
DA:227,821
DA:227,821
FN:233,GuardianModule.setGuardianEnclaveMeasurements
FNDA:102,GuardianModule.setGuardianEnclaveMeasurements
DA:234,102
DA:234,102
DA:235,102
DA:235,102
DA:236,102
DA:236,102
DA:237,102
DA:237,102
DA:238,102
DA:238,102
DA:239,102
DA:239,102
FN:245,GuardianModule.addGuardian
FNDA:512,GuardianModule.addGuardian
DA:246,512
DA:246,512
DA:247,512
DA:247,512
DA:247,512
DA:248,512
BRDA:248,4,0,512
BRDA:248,4,1,512
DA:249,512
DA:249,512
FN:256,GuardianModule.removeGuardian
FNDA:256,GuardianModule.removeGuardian
DA:257,256
DA:257,256
DA:258,256
DA:258,256
DA:258,256
DA:259,256
BRDA:259,5,0,256
BRDA:259,5,1,256
DA:260,256
DA:260,256
FN:267,GuardianModule.changeThreshold
FNDA:2,GuardianModule.changeThreshold
DA:268,2
DA:268,2
DA:268,2
BRDA:268,6,0,1
BRDA:268,6,1,1
DA:269,1
DA:269,1
DA:271,1
DA:271,1
DA:272,1
DA:272,1
DA:273,1
DA:273,1
FN:279,GuardianModule.getThreshold
FNDA:25498,GuardianModule.getThreshold
DA:280,25498
DA:280,25498
FN:286,GuardianModule.getGuardians
FNDA:25498,GuardianModule.getGuardians
DA:287,25498
DA:287,25498
DA:287,25498
FN:293,GuardianModule.rotateGuardianKey
FNDA:309,GuardianModule.rotateGuardianKey
DA:294,309
DA:294,309
DA:296,309
DA:296,309
BRDA:296,7,0,1
BRDA:296,7,1,308
DA:297,1
DA:297,1
DA:300,308
DA:300,308
BRDA:300,8,0,1
BRDA:300,8,1,307
DA:301,1
DA:301,1
DA:305,307
DA:305,307
DA:305,307
DA:313,307
DA:313,307
BRDA:313,9,0,1
BRDA:313,9,1,306
DA:314,1
DA:314,1
DA:318,306
DA:318,306
DA:318,306
DA:320,306
DA:320,306
DA:321,306
DA:321,306
DA:323,306
DA:323,306
FN:329,GuardianModule.getGuardiansEnclaveAddress
FNDA:306,GuardianModule.getGuardiansEnclaveAddress
DA:330,306
DA:330,306
FN:336,GuardianModule.getGuardiansEnclaveAddresses
FNDA:0,GuardianModule.getGuardiansEnclaveAddresses
DA:337,821
DA:337,821
DA:337,821
DA:338,821
DA:338,821
DA:338,821
DA:340,821
DA:340,821
DA:340,3284
DA:340,2463
DA:341,2463
DA:341,2463
DA:344,821
DA:344,821
FN:350,GuardianModule.getGuardiansEnclavePubkeys
FNDA:103,GuardianModule.getGuardiansEnclavePubkeys
DA:351,103
DA:351,103
DA:351,103
DA:352,103
DA:352,103
DA:352,103
DA:354,103
DA:354,103
DA:354,412
DA:354,309
DA:355,309
DA:355,309
DA:358,103
DA:358,103
FN:364,GuardianModule.getMrenclave
FNDA:102,GuardianModule.getMrenclave
DA:365,102
DA:365,102
FN:371,GuardianModule.getMrsigner
FNDA:102,GuardianModule.getMrsigner
DA:372,102
DA:372,102
FN:378,GuardianModule.isGuardian
FNDA:512,GuardianModule.isGuardian
DA:379,512
DA:379,512
DA:379,512
FN:389,GuardianModule._validateSignatures
FNDA:2877,GuardianModule._validateSignatures
DA:394,2877
DA:394,2877
DA:397,2877
DA:397,2877
DA:397,11508
DA:397,8631
DA:398,8631
DA:398,8631
DA:398,8631
DA:399,8631
DA:399,8631
BRDA:399,10,0,6345
BRDA:399,10,1,8631
DA:400,6345
DA:400,6345
DA:404,2877
DA:404,2877
DA:404,2877
FNF:21
FNH:19
LF:76
LH:74
BRF:22
BRH:20
end_of_record
TN:
SF:src/LibBeaconchainContract.sol
FN:19,LibBeaconchainContract.getDepositDataRoot
FNDA:27396,LibBeaconchainContract.getDepositDataRoot
DA:24,27396
DA:24,27396
DA:24,27396
DA:25,27396
DA:25,27396
DA:25,27396
DA:30,27396
DA:30,27396
DA:30,27396
FNF:1
FNH:1
LF:3
LH:3
BRF:0
BRH:0
end_of_record
TN:
SF:src/LibGuardianMessages.sol
FN:25,LibGuardianMessages._getBeaconDepositMessageToBeSigned
FNDA:851,LibGuardianMessages._getBeaconDepositMessageToBeSigned
DA:32,851
DA:32,851
DA:32,851
FN:42,LibGuardianMessages._getSkipProvisioningMessage
FNDA:261,LibGuardianMessages._getSkipProvisioningMessage
DA:44,261
DA:44,261
DA:44,261
FN:52,LibGuardianMessages._getHandleFullWithdrawalMessage
FNDA:11,LibGuardianMessages._getHandleFullWithdrawalMessage
DA:57,11
DA:57,11
DA:57,11
FN:66,LibGuardianMessages._getSetNumberOfValidatorsMessage
FNDA:1,LibGuardianMessages._getSetNumberOfValidatorsMessage
DA:71,1
DA:71,1
DA:71,1
FN:81,LibGuardianMessages._getModuleRewardsRootMessage
FNDA:1783,LibGuardianMessages._getModuleRewardsRootMessage
DA:86,1783
DA:86,1783
DA:86,1783
FNF:5
FNH:5
LF:5
LH:5
BRF:0
BRH:0
end_of_record
TN:
SF:src/NoRestakingModule.sol
FN:96,NoRestakingModule.callStake
FNDA:796,NoRestakingModule.callStake
DA:102,796
DA:102,796
DA:102,796
DA:107,796
DA:107,796
BRDA:107,0,0,-
BRDA:107,0,1,796
DA:108,0
DA:108,0
FN:122,NoRestakingModule.collectRewards
FNDA:263,NoRestakingModule.collectRewards
DA:129,263
DA:129,263
DA:131,263
DA:131,263
DA:131,526
DA:131,263
DA:132,265
BRDA:132,1,0,-
BRDA:132,1,1,2
DA:133,2
DA:133,2
DA:136,263
DA:136,263
DA:137,263
DA:137,263
DA:137,263
DA:139,263
DA:139,263
BRDA:139,2,0,-
BRDA:139,2,1,260
DA:140,260
DA:140,260
DA:141,260
DA:141,260
DA:145,261
DA:145,261
BRDA:145,3,0,3
BRDA:145,3,1,258
DA:146,3
DA:146,3
DA:149,258
DA:149,258
FN:157,NoRestakingModule.postRewardsRoot
FNDA:1032,NoRestakingModule.postRewardsRoot
DA:158,1032
DA:158,1032
BRDA:158,4,0,8
BRDA:158,4,1,1024
DA:159,8
DA:159,8
DA:162,1024
DA:162,1024
DA:162,1024
DA:164,1024
DA:164,1024
DA:164,1024
DA:166,1024
DA:166,1024
DA:166,1024
DA:167,1024
DA:167,1024
BRDA:167,5,0,249
BRDA:167,5,1,775
DA:168,249
DA:168,249
DA:171,775
DA:171,775
DA:172,775
DA:172,775
DA:173,775
DA:173,775
FN:179,NoRestakingModule.call
FNDA:11,NoRestakingModule.call
DA:180,11
DA:180,11
DA:180,11
BRDA:180,6,0,-
BRDA:180,6,1,11
DA:181,0
DA:181,0
DA:184,11
DA:184,11
DA:184,11
FN:190,NoRestakingModule.getLastProofOfRewardsBlock
FNDA:256,NoRestakingModule.getLastProofOfRewardsBlock
DA:191,256
DA:191,256
FN:197,NoRestakingModule.getWithdrawalCredentials
FNDA:26981,NoRestakingModule.getWithdrawalCredentials
DA:198,27777
DA:198,27777
DA:198,27777
FNF:6
FNH:6
LF:30
LH:28
BRF:14
BRH:10
end_of_record
TN:
SF:src/PufferModule.sol
FN:134,PufferModule.initialize
FNDA:1336,PufferModule.initialize
DA:140,1336
DA:140,1336
DA:141,1336
DA:141,1336
DA:141,1336
DA:142,1336
DA:142,1336
DA:143,1336
DA:143,1336
DA:144,1336
DA:144,1336
FN:154,PufferModule.callStake
FNDA:23,PufferModule.callStake
DA:155,23
DA:155,23
DA:155,23
BRDA:155,0,0,-
BRDA:155,0,1,23
DA:156,0
DA:156,0
DA:159,23
DA:159,23
FN:168,PufferModule.queueNonRestakingRewards
FNDA:1,PufferModule.queueNonRestakingRewards
DA:169,1
DA:169,1
DA:169,1
DA:170,1
DA:170,1
DA:172,1
DA:172,1
DA:172,1
BRDA:172,1,0,-
BRDA:172,1,1,1
DA:173,0
DA:173,0
DA:175,1
DA:175,1
DA:176,1
DA:176,1
FN:179,PufferModule.claimNonRestakingRewards
FNDA:2,PufferModule.claimNonRestakingRewards
DA:180,2
DA:180,2
FN:183,PufferModule.collectRestakingRewards
FNDA:0,PufferModule.collectRestakingRewards
FN:187,PufferModule.getEigenPod
FNDA:1,PufferModule.getEigenPod
DA:188,1
DA:188,1
DA:188,1
DA:189,1
DA:189,1
DA:189,1
FN:192,PufferModule.call
FNDA:0,PufferModule.call
DA:193,0
DA:193,0
DA:193,0
BRDA:193,2,0,-
BRDA:193,2,1,-
DA:194,0
DA:194,0
DA:197,0
DA:197,0
DA:197,0
FN:209,PufferModule.collectRewards
FNDA:1536,PufferModule.collectRewards
DA:215,1536
DA:215,1536
DA:215,1536
DA:218,1536
DA:218,1536
DA:220,1536
DA:220,1536
DA:220,2560
DA:220,1024
DA:221,1536
BRDA:221,3,0,-
BRDA:221,3,1,512
DA:222,512
DA:222,512
DA:225,1024
DA:225,1024
DA:226,1024
DA:226,1024
DA:226,1024
DA:228,1024
DA:228,1024
BRDA:228,4,0,-
BRDA:228,4,1,768
DA:229,768
DA:229,768
DA:230,768
DA:230,768
DA:234,1024
DA:234,1024
BRDA:234,5,0,256
BRDA:234,5,1,768
DA:235,256
DA:235,256
DA:238,768
DA:238,768
FN:246,PufferModule.postRewardsRoot
FNDA:768,PufferModule.postRewardsRoot
DA:247,768
DA:247,768
DA:247,768
DA:249,768
DA:249,768
BRDA:249,6,0,9
BRDA:249,6,1,759
DA:250,9
DA:250,9
DA:253,759
DA:253,759
DA:253,759
DA:255,759
DA:255,759
DA:255,759
DA:257,759
DA:257,759
DA:257,759
DA:258,759
DA:258,759
BRDA:258,7,0,247
BRDA:258,7,1,512
DA:259,247
DA:259,247
DA:262,512
DA:262,512
DA:263,512
DA:263,512
DA:264,512
DA:264,512
FN:270,PufferModule.getLastProofOfRewardsBlock
FNDA:256,PufferModule.getLastProofOfRewardsBlock
DA:271,256
DA:271,256
DA:271,256
DA:272,256
DA:272,256
FN:278,PufferModule.getWithdrawalCredentials
FNDA:160,PufferModule.getWithdrawalCredentials
DA:280,160
DA:280,160
DA:280,160
DA:281,160
DA:281,160
DA:281,160
FN:287,PufferModule.NAME
FNDA:257,PufferModule.NAME
DA:288,257
DA:288,257
DA:288,257
DA:289,257
DA:289,257
FN:319,PufferModule._getPufferProtocolStorage
FNDA:4315,PufferModule._getPufferProtocolStorage
DA:322,4315
DA:322,4315
FNF:13
FNH:11
LF:51
LH:46
BRF:16
BRH:10
end_of_record
TN:
SF:src/PufferModuleFactory.sol
FN:40,PufferModuleFactory.createNewPufferModule
FNDA:1336,PufferModuleFactory.createNewPufferModule
DA:44,1336
DA:44,1336
FNF:1
FNH:1
LF:1
LH:1
BRF:0
BRH:0
end_of_record
TN:
SF:src/PufferOracle.sol
FN:25,PufferOracle.getLockedEthAmount
FNDA:1,PufferOracle.getLockedEthAmount
DA:26,0
DA:26,0
FN:32,PufferOracle.isOverBurstThreshold
FNDA:1,PufferOracle.isOverBurstThreshold
DA:33,0
DA:33,0
FN:39,PufferOracle.getValidatorTicketPrice
FNDA:516,PufferOracle.getValidatorTicketPrice
DA:40,516
DA:40,516
FN:49,PufferOracle.setMintPrice
FNDA:514,PufferOracle.setMintPrice
DA:50,513
DA:50,513
FN:53,PufferOracle._setMintPrice
FNDA:513,PufferOracle._setMintPrice
DA:54,513
DA:54,513
DA:54,513
DA:54,512
BRDA:54,0,0,257
BRDA:54,0,1,256
DA:55,257
DA:55,257
DA:57,256
DA:57,256
DA:58,256
DA:58,256
FNF:5
FNH:5
LF:8
LH:6
BRF:2
BRH:2
end_of_record
TN:
SF:src/PufferOracleV2.sol
FN:67,PufferOracleV2.exitValidator
FNDA:11,PufferOracleV2.exitValidator
DA:68,11
DA:68,11
DA:69,11
DA:69,11
FN:78,PufferOracleV2.provisionNode
FNDA:819,PufferOracleV2.provisionNode
DA:80,819
DA:80,819
DA:82,819
DA:82,819
FN:90,PufferOracleV2.setMintPrice
FNDA:0,PufferOracleV2.setMintPrice
DA:91,0
DA:91,0
FN:98,PufferOracleV2.setTotalNumberOfValidators
FNDA:1,PufferOracleV2.setTotalNumberOfValidators
DA:103,1
DA:103,1
BRDA:103,0,0,-
BRDA:103,0,1,1
DA:104,0
DA:104,0
DA:106,1
DA:106,1
DA:107,1
DA:107,1
DA:108,1
DA:108,1
FN:114,PufferOracleV2.getLockedEthAmount
FNDA:52409,PufferOracleV2.getLockedEthAmount
DA:115,52409
DA:115,52409
DA:115,52409
FN:121,PufferOracleV2.getTotalNumberOfValidators
FNDA:0,PufferOracleV2.getTotalNumberOfValidators
DA:122,0
DA:122,0
FN:128,PufferOracleV2.isOverBurstThreshold
FNDA:25571,PufferOracleV2.isOverBurstThreshold
DA:129,25571
DA:129,25571
FN:135,PufferOracleV2.getValidatorTicketPrice
FNDA:76640,PufferOracleV2.getValidatorTicketPrice
DA:136,76640
DA:136,76640
FN:139,PufferOracleV2._setMintPrice
FNDA:0,PufferOracleV2._setMintPrice
DA:140,0
DA:140,0
DA:141,0
DA:141,0
FNF:9
FNH:6
LF:16
LH:11
BRF:2
BRH:1
end_of_record
TN:
SF:src/PufferProtocol.sol
FN:93,PufferProtocol.initialize
FNDA:104,PufferProtocol.initialize
DA:94,104
DA:94,104
DA:95,104
DA:95,104
DA:96,104
DA:96,104
DA:96,104
DA:97,104
DA:97,104
DA:98,104
DA:98,104
DA:99,104
DA:99,104
DA:100,104
DA:100,104
DA:101,104
DA:101,104
FN:108,PufferProtocol.depositValidatorTickets
FNDA:6,PufferProtocol.depositValidatorTickets
DA:114,6
DA:114,6
DA:125,6
DA:125,6
DA:127,6
DA:127,6
DA:127,6
DA:128,6
DA:128,6
DA:129,6
DA:129,6
FN:136,PufferProtocol.withdrawValidatorTickets
FNDA:4,PufferProtocol.withdrawValidatorTickets
DA:137,4
DA:137,4
DA:137,4
DA:142,4
DA:142,4
DA:142,4
BRDA:141,0,0,1
BRDA:141,0,1,3
DA:145,1
DA:145,1
DA:149,3
DA:149,3
DA:152,3
DA:152,3
DA:154,3
DA:154,3
FN:161,PufferProtocol.registerValidatorKey
FNDA:25502,PufferProtocol.registerValidatorKey
DA:168,25502
DA:168,25502
DA:168,25502
DA:171,25502
DA:171,25502
BRDA:171,1,0,-
BRDA:171,1,1,25501
DA:172,0
DA:172,0
DA:176,25501
DA:176,25501
DA:176,25501
DA:176,25501
DA:176,3
DA:176,2
BRDA:176,2,0,-
BRDA:176,2,1,25501
DA:177,0
DA:177,0
DA:180,25501
DA:180,25501
DA:182,25496
DA:182,25496
DA:182,25496
DA:183,25496
DA:183,25496
DA:183,25496
DA:184,25496
DA:184,25496
DA:184,25496
DA:184,25496
DA:187,25496
DA:187,25496
BRDA:187,3,0,2
BRDA:187,3,1,25494
DA:188,2
DA:188,2
DA:191,25494
DA:191,25494
DA:194,25494
DA:194,25494
BRDA:194,4,0,1
BRDA:194,4,1,25490
DA:195,25491
DA:195,25491
DA:197,3
DA:197,3
DA:199,3
DA:199,3
DA:203,25493
DA:203,25493
BRDA:203,5,0,-
BRDA:203,5,1,25489
DA:204,25489
DA:204,25489
DA:206,4
DA:206,4
DA:208,4
DA:208,4
DA:212,25493
DA:212,25493
DA:212,25493
DA:214,25493
DA:214,25493
FN:227,PufferProtocol.provisionNode
FNDA:822,PufferProtocol.provisionNode
DA:231,822
DA:231,822
DA:231,822
DA:233,822
DA:233,822
DA:233,822
DA:236,822
DA:236,822
DA:239,821
DA:239,821
DA:242,821
DA:242,821
DA:251,819
DA:251,819
DA:252,819
DA:252,819
DA:253,819
DA:253,819
DA:256,819
DA:256,819
FN:263,PufferProtocol.batchHandleWithdrawal
FNDA:2,PufferProtocol.batchHandleWithdrawal
DA:268,2
DA:268,2
DA:268,6
DA:268,4
DA:269,4
DA:269,4
FN:277,PufferProtocol.handleFullWithdrawal
FNDA:8,PufferProtocol.handleFullWithdrawal
DA:281,12
DA:281,12
DA:281,12
DA:282,12
DA:282,12
DA:284,12
DA:284,12
BRDA:284,6,0,1
BRDA:284,6,1,11
DA:285,1
DA:285,1
DA:288,11
DA:288,11
DA:291,11
DA:291,11
DA:292,11
DA:292,11
DA:293,11
DA:293,11
DA:294,11
DA:294,11
DA:297,11
DA:297,11
DA:298,11
DA:298,11
DA:299,11
DA:299,11
DA:300,11
DA:300,11
DA:301,11
DA:301,11
DA:304,11
DA:304,11
DA:306,11
DA:306,11
DA:307,11
DA:307,11
DA:310,11
DA:310,11
DA:312,11
DA:312,11
DA:312,11
DA:314,11
DA:314,11
DA:318,11
DA:318,11
DA:318,11
DA:319,11
DA:319,11
DA:321,11
DA:321,11
FN:328,PufferProtocol.skipProvisioning
FNDA:260,PufferProtocol.skipProvisioning
DA:329,260
DA:329,260
DA:329,260
DA:331,260
DA:331,260
DA:333,260
DA:333,260
DA:336,260
DA:336,260
DA:343,260
DA:343,260
DA:344,260
DA:344,260
DA:345,260
DA:345,260
DA:348,260
DA:348,260
DA:352,260
DA:352,260
DA:355,260
DA:355,260
DA:357,260
DA:357,260
FN:364,PufferProtocol.changeModule
FNDA:2,PufferProtocol.changeModule
DA:365,2
DA:365,2
FN:372,PufferProtocol.changeMinimumVTAmount
FNDA:1,PufferProtocol.changeMinimumVTAmount
DA:373,1
DA:373,1
FN:380,PufferProtocol.createPufferModule
FNDA:1337,PufferProtocol.createPufferModule
DA:385,1337
DA:385,1337
DA:385,1337
FN:392,PufferProtocol.setModuleWeights
FNDA:52,PufferProtocol.setModuleWeights
DA:393,52
DA:393,52
FN:400,PufferProtocol.setValidatorLimitPerModule
FNDA:1,PufferProtocol.setValidatorLimitPerModule
DA:401,1
DA:401,1
FN:408,PufferProtocol.setVTPenalty
FNDA:3,PufferProtocol.setVTPenalty
DA:409,3
DA:409,3
FN:415,PufferProtocol.getVTPenalty
FNDA:4,PufferProtocol.getVTPenalty
DA:416,4
DA:416,4
DA:416,4
DA:417,4
DA:417,4
FN:423,PufferProtocol.getDepositDataRoot
FNDA:27140,PufferProtocol.getDepositDataRoot
DA:428,27140
DA:428,27140
DA:428,27140
FN:435,PufferProtocol.getValidators
FNDA:256,PufferProtocol.getValidators
DA:436,256
DA:436,256
DA:436,256
DA:438,256
DA:438,256
DA:440,256
DA:440,256
DA:440,256
DA:442,256
DA:442,256
DA:442,1536
DA:442,1280
DA:443,1280
DA:443,1280
DA:446,256
DA:446,256
FN:452,PufferProtocol.getNextValidatorToProvision
FNDA:1140,PufferProtocol.getNextValidatorToProvision
DA:453,1962
DA:453,1962
DA:453,1962
DA:455,1962
DA:455,1962
DA:456,1962
DA:456,1962
DA:458,1962
DA:458,1962
DA:458,1962
DA:461,1962
DA:461,1962
DA:464,2004
DA:464,2004
DA:466,1998
DA:466,1998
DA:469,1998
DA:469,1998
BRDA:469,7,0,1956
BRDA:469,7,1,42
DA:470,1956
DA:470,1956
DA:474,42
DA:474,42
DA:476,42
DA:476,42
DA:480,6
DA:480,6
FN:486,PufferProtocol.getNextValidatorToBeProvisionedIndex
FNDA:1,PufferProtocol.getNextValidatorToBeProvisionedIndex
DA:487,1
DA:487,1
DA:487,1
DA:488,1
DA:488,1
FN:494,PufferProtocol.getPendingValidatorIndex
FNDA:25924,PufferProtocol.getPendingValidatorIndex
DA:495,25924
DA:495,25924
DA:495,25924
DA:496,25924
DA:496,25924
FN:502,PufferProtocol.getValidatorInfo
FNDA:1335,PufferProtocol.getValidatorInfo
DA:503,1335
DA:503,1335
DA:503,1335
DA:504,1335
DA:504,1335
FN:510,PufferProtocol.getNodeInfo
FNDA:0,PufferProtocol.getNodeInfo
DA:511,0
DA:511,0
DA:511,0
DA:512,0
DA:512,0
FN:518,PufferProtocol.getModuleAddress
FNDA:27157,PufferProtocol.getModuleAddress
DA:519,27157
DA:519,27157
DA:519,27157
DA:520,27157
DA:520,27157
DA:520,27157
FN:526,PufferProtocol.getWithdrawalCredentials
FNDA:26319,PufferProtocol.getWithdrawalCredentials
DA:527,27141
DA:527,27141
DA:527,27141
FN:533,PufferProtocol.getModuleWeights
FNDA:279,PufferProtocol.getModuleWeights
DA:534,279
DA:534,279
DA:534,279
DA:535,279
DA:535,279
FN:541,PufferProtocol.getModuleSelectIndex
FNDA:49,PufferProtocol.getModuleSelectIndex
DA:542,49
DA:542,49
DA:542,49
DA:543,49
DA:543,49
FN:549,PufferProtocol.getValidatorTicketsBalance
FNDA:19,PufferProtocol.getValidatorTicketsBalance
DA:550,19
DA:550,19
DA:550,19
DA:552,19
DA:552,19
FN:558,PufferProtocol.getMinimumVtAmount
FNDA:2,PufferProtocol.getMinimumVtAmount
DA:559,2
DA:559,2
DA:559,2
DA:560,2
DA:560,2
FN:566,PufferProtocol.getPayload
FNDA:1,PufferProtocol.getPayload
DA:571,1
DA:571,1
DA:571,1
DA:573,1
DA:573,1
DA:573,1
DA:574,1
DA:574,1
DA:574,1
DA:575,1
DA:575,1
DA:575,1
DA:576,1
DA:576,1
DA:576,1
DA:577,1
DA:577,1
DA:577,1
DA:577,1
DA:577,1
DA:579,1
DA:579,1
FN:582,PufferProtocol._storeValidatorInformation
FNDA:25493,PufferProtocol._storeValidatorInformation
DA:589,25493
DA:589,25493
DA:592,25493
DA:592,25493
DA:600,25493
DA:600,25493
DA:604,25493
DA:604,25493
DA:605,25493
DA:605,25493
DA:606,25493
DA:606,25493
DA:609,25493
DA:609,25493
FN:612,PufferProtocol._setValidatorLimitPerModule
FNDA:1441,PufferProtocol._setValidatorLimitPerModule
DA:613,1441
DA:613,1441
DA:613,1441
DA:614,1441
DA:614,1441
DA:615,1441
DA:615,1441
FN:618,PufferProtocol._setVTPenalty
FNDA:107,PufferProtocol._setVTPenalty
DA:619,107
DA:619,107
DA:619,107
DA:620,107
DA:620,107
DA:621,107
DA:621,107
FN:624,PufferProtocol._setModuleWeights
FNDA:156,PufferProtocol._setModuleWeights
DA:625,156
DA:625,156
DA:625,156
DA:626,156
DA:626,156
DA:627,156
DA:627,156
FN:630,PufferProtocol._createPufferModule
FNDA:1337,PufferProtocol._createPufferModule
DA:634,1337
DA:634,1337
DA:634,1337
DA:635,1337
DA:635,1337
DA:635,1337
DA:635,1337
BRDA:635,8,0,1
BRDA:635,8,1,1336
DA:636,1
DA:636,1
DA:638,1336
DA:638,1336
DA:638,1336
DA:639,1336
DA:639,1336
DA:640,1336
DA:640,1336
DA:641,1336
DA:641,1336
DA:642,1336
DA:642,1336
DA:642,1336
FN:645,PufferProtocol._checkValidatorRegistrationInputs
FNDA:25501,PufferProtocol._checkValidatorRegistrationInputs
DA:652,25501
DA:652,25501
BRDA:652,9,0,2
BRDA:652,9,1,25499
DA:653,2
DA:653,2
DA:656,25499
DA:656,25499
BRDA:656,10,0,1
BRDA:656,10,1,25498
DA:657,1
DA:657,1
DA:660,25498
DA:660,25498
BRDA:660,11,0,1
BRDA:660,11,1,25497
DA:661,1
DA:661,1
DA:664,25497
DA:664,25497
BRDA:664,12,0,1
BRDA:664,12,1,25496
DA:665,1
DA:665,1
FN:669,PufferProtocol._changeModule
FNDA:106,PufferProtocol._changeModule
DA:670,106
DA:670,106
DA:670,106
DA:671,106
DA:671,106
DA:672,106
DA:672,106
DA:672,106
DA:672,106
BRDA:672,13,0,1
BRDA:672,13,1,105
DA:673,1
DA:673,1
DA:675,105
DA:675,105
DA:676,105
DA:676,105
FN:679,PufferProtocol._changeMinimumVTAmount
FNDA:105,PufferProtocol._changeMinimumVTAmount
DA:680,105
DA:680,105
DA:680,105
DA:681,105
DA:681,105
DA:682,105
DA:682,105
FN:685,PufferProtocol._burnPufETHBond
FNDA:11,PufferProtocol._burnPufETHBond
DA:691,11
BRDA:691,14,0,-
BRDA:691,14,1,3
DA:692,3
DA:692,3
DA:693,3
DA:693,3
DA:696,8
DA:696,8
DA:700,8
DA:700,8
BRDA:700,15,0,-
BRDA:700,15,1,1
DA:701,1
DA:701,1
DA:702,1
DA:702,1
DA:706,8
DA:706,8
DA:707,8
DA:707,8
FN:710,PufferProtocol._validateSignaturesAndProvisionValidator
FNDA:821,PufferProtocol._validateSignaturesAndProvisionValidator
DA:717,821
DA:717,821
DA:719,821
DA:719,821
DA:719,821
DA:721,821
DA:721,821
DA:721,821
DA:728,821
DA:728,821
DA:737,819
DA:737,819
DA:740,819
DA:740,819
DA:742,819
DA:742,819
DA:745,819
DA:745,819
DA:747,819
DA:747,819
FN:750,PufferProtocol._callPermit
FNDA:7,PufferProtocol._callPermit
DA:751,7
DA:751,7
FN:762,PufferProtocol._authorizeUpgrade
FNDA:1,PufferProtocol._authorizeUpgrade
FNF:41
FNH:40
LF:199
LH:195
BRF:32
BRH:27
end_of_record
TN:
SF:src/PufferProtocolStorage.sol
FN:19,PufferProtocolStorage._getPufferProtocolStorage
FNDA:86847,PufferProtocolStorage._getPufferProtocolStorage
DA:22,86847
DA:22,86847
FNF:1
FNH:1
LF:1
LH:1
BRF:0
BRH:0
end_of_record
TN:
SF:src/TokenRescuer.sol
FN:37,TokenRescuer.recoverERC20
FNDA:0,TokenRescuer.recoverERC20
DA:38,0
DA:38,0
FN:44,TokenRescuer.recoverERC721
FNDA:0,TokenRescuer.recoverERC721
DA:45,0
DA:45,0
FN:51,TokenRescuer.recoverERC1155
FNDA:0,TokenRescuer.recoverERC1155
DA:52,0
DA:52,0
FN:55,TokenRescuer.onERC1155Received
FNDA:0,TokenRescuer.onERC1155Received
DA:56,0
DA:56,0
FN:59,TokenRescuer.onERC1155BatchReceived
FNDA:0,TokenRescuer.onERC1155BatchReceived
DA:64,0
DA:64,0
FN:67,TokenRescuer.onERC721Received
FNDA:0,TokenRescuer.onERC721Received
DA:68,0
DA:68,0
FN:71,TokenRescuer.supportsInterface
FNDA:0,TokenRescuer.supportsInterface
DA:72,0
DA:72,0
DA:72,0
FNF:7
FNH:0
LF:7
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:src/ValidatorTicket.sol
FN:68,ValidatorTicket.initialize
FNDA:104,ValidatorTicket.initialize
DA:72,104
DA:72,104
DA:73,104
DA:73,104
DA:74,104
DA:74,104
DA:75,104
DA:75,104
DA:76,104
DA:76,104
FN:82,ValidatorTicket.purchaseValidatorTicket
FNDA:25571,ValidatorTicket.purchaseValidatorTicket
DA:89,25571
DA:89,25571
DA:89,25571
DA:91,25571
DA:91,25571
DA:91,25571
DA:92,25571
DA:92,25571
DA:95,25571
DA:95,25571
DA:99,25571
DA:99,25571
BRDA:99,0,0,1
BRDA:99,0,1,25570
DA:101,1
DA:101,1
DA:102,1
DA:102,1
DA:103,1
DA:103,1
DA:106,25570
DA:106,25570
DA:106,25570
DA:107,25570
DA:107,25570
DA:107,25570
DA:108,25570
DA:108,25570
DA:108,25570
DA:110,25570
DA:110,25570
DA:111,25570
DA:111,25570
FN:119,ValidatorTicket.burn
FNDA:271,ValidatorTicket.burn
DA:120,271
DA:120,271
FN:129,ValidatorTicket.setProtocolFeeRate
FNDA:3,ValidatorTicket.setProtocolFeeRate
DA:130,3
DA:130,3
FN:139,ValidatorTicket.setGuardiansFeeRate
FNDA:0,ValidatorTicket.setGuardiansFeeRate
DA:140,0
DA:140,0
FN:146,ValidatorTicket.getProtocolFeeRate
FNDA:72,ValidatorTicket.getProtocolFeeRate
DA:147,72
DA:147,72
DA:147,72
DA:148,72
DA:148,72
FN:154,ValidatorTicket.getGuardiansFeeRate
FNDA:70,ValidatorTicket.getGuardiansFeeRate
DA:155,70
DA:155,70
DA:155,70
DA:156,70
DA:156,70
FN:166,ValidatorTicket._sendETH
FNDA:51140,ValidatorTicket._sendETH
DA:167,51140
DA:167,51140
DA:169,51140
DA:169,51140
BRDA:169,1,0,51137
BRDA:169,1,1,51140
DA:170,51137
DA:170,51137
FN:174,ValidatorTicket._setProtocolFeeRate
FNDA:107,ValidatorTicket._setProtocolFeeRate
DA:175,107
DA:175,107
DA:175,107
DA:177,107
DA:177,107
BRDA:177,2,0,-
BRDA:177,2,1,107
DA:178,0
DA:178,0
DA:180,107
DA:180,107
DA:181,107
DA:181,107
FN:184,ValidatorTicket._setGuardiansFeeRate
FNDA:104,ValidatorTicket._setGuardiansFeeRate
DA:185,104
DA:185,104
DA:185,104
DA:187,104
DA:187,104
BRDA:187,3,0,-
BRDA:187,3,1,104
DA:188,0
DA:188,0
DA:190,104
DA:190,104
DA:191,104
DA:191,104
FN:194,ValidatorTicket._authorizeUpgrade
FNDA:0,ValidatorTicket._authorizeUpgrade
FNF:11
FNH:9
LF:38
LH:35
BRF:8
BRH:6
end_of_record
TN:
SF:src/ValidatorTicketStorage.sol
FN:44,ValidatorTicketStorage._getValidatorTicketStorage
FNDA:25924,ValidatorTicketStorage._getValidatorTicketStorage
DA:47,25924
DA:47,25924
FNF:1
FNH:1
LF:1
LH:1
BRF:0
BRH:0
end_of_record
TN:
SF:test/handlers/PufferProtocolHandler.sol
FN:197,PufferProtocolHandler.buyVT
FNDA:70,PufferProtocolHandler.buyVT
DA:206,70
DA:206,70
DA:207,70
DA:207,70
DA:207,70
DA:207,70
DA:210,70
DA:210,70
DA:210,70
DA:210,70
DA:210,70
DA:211,70
DA:211,70
DA:211,70
DA:211,70
DA:211,70
DA:212,70
DA:212,70
DA:212,70
DA:214,70
DA:214,70
DA:215,70
DA:215,70
DA:216,70
DA:216,70
DA:217,70
DA:217,70
FN:221,PufferProtocolHandler.depositETH
FNDA:48,PufferProtocolHandler.depositETH
DA:230,48
DA:230,48
DA:231,48
DA:231,48
DA:233,48
DA:233,48
DA:233,48
DA:235,48
DA:235,48
DA:235,48
DA:237,48
DA:237,48
DA:237,48
DA:239,48
DA:239,48
DA:239,48
DA:241,48
DA:241,48
DA:243,48
DA:243,48
BRDA:243,0,0,-
BRDA:243,0,1,48
DA:244,0
DA:244,0
DA:245,0
DA:245,0
DA:248,48
DA:248,48
BRDA:248,1,0,-
BRDA:248,1,1,48
DA:249,0
DA:249,0
DA:250,0
DA:250,0
DA:254,48
DA:254,48
DA:254,48
DA:255,48
DA:255,48
FN:259,PufferProtocolHandler.depositStETH
FNDA:67,PufferProtocolHandler.depositStETH
DA:268,67
DA:268,67
DA:269,67
DA:269,67
DA:271,67
DA:271,67
DA:271,67
DA:273,67
DA:273,67
DA:273,67
DA:275,67
DA:275,67
DA:276,67
DA:276,67
DA:276,67
DA:278,67
DA:278,67
DA:278,67
DA:280,67
DA:280,67
DA:282,67
DA:282,67
BRDA:282,2,0,-
BRDA:282,2,1,67
DA:283,0
DA:283,0
DA:284,0
DA:284,0
DA:287,67
DA:287,67
BRDA:287,3,0,-
BRDA:287,3,1,67
DA:288,0
DA:288,0
DA:289,0
DA:289,0
DA:293,67
DA:293,67
DA:293,67
DA:294,67
DA:294,67
FN:298,PufferProtocolHandler.depositWETH
FNDA:46,PufferProtocolHandler.depositWETH
DA:307,46
DA:307,46
DA:308,46
DA:308,46
DA:310,46
DA:310,46
DA:310,46
DA:312,46
DA:312,46
DA:312,46
DA:314,46
DA:314,46
DA:315,46
DA:315,46
DA:315,46
DA:317,46
DA:317,46
DA:317,46
DA:319,46
DA:319,46
DA:321,46
DA:321,46
BRDA:321,4,0,-
BRDA:321,4,1,46
DA:322,0
DA:322,0
DA:323,0
DA:323,0
DA:326,46
DA:326,46
BRDA:326,5,0,-
BRDA:326,5,1,46
DA:327,0
DA:327,0
DA:328,0
DA:328,0
DA:332,46
DA:332,46
DA:332,46
DA:333,46
DA:333,46
FN:337,PufferProtocolHandler.withdraw
FNDA:65,PufferProtocolHandler.withdraw
DA:345,65
DA:345,65
DA:345,65
BRDA:345,6,0,65
BRDA:345,6,1,65
DA:346,65
DA:346,65
DA:349,65
DA:349,65
DA:349,65
DA:349,65
DA:351,65
DA:351,65
DA:351,65
DA:353,65
DA:353,65
DA:356,65
DA:356,65
DA:356,65
DA:357,65
DA:357,65
DA:359,65
DA:359,65
DA:361,65
DA:361,65
DA:362,65
DA:362,65
DA:364,65
DA:364,65
FN:368,PufferProtocolHandler.registerValidatorKey3
FNDA:81,PufferProtocolHandler.registerValidatorKey3
DA:376,81
DA:376,81
FN:379,PufferProtocolHandler.registerValidatorKey2
FNDA:56,PufferProtocolHandler.registerValidatorKey2
DA:387,56
DA:387,56
FN:391,PufferProtocolHandler.registerValidatorKey
FNDA:44,PufferProtocolHandler.registerValidatorKey
DA:399,44
DA:399,44
FN:402,PufferProtocolHandler._updateBlockNumber
FNDA:0,PufferProtocolHandler._updateBlockNumber
DA:404,0
DA:404,0
DA:404,0
DA:405,0
DA:405,0
DA:406,0
DA:406,0
FN:409,PufferProtocolHandler._registerValidatorKey
FNDA:181,PufferProtocolHandler._registerValidatorKey
DA:410,181
DA:410,181
DA:410,181
DA:411,181
DA:411,181
DA:411,181
DA:413,181
DA:413,181
DA:415,181
DA:415,181
DA:417,181
DA:417,181
DA:417,181
DA:420,181
DA:420,181
DA:421,181
DA:421,181
DA:422,181
DA:422,181
DA:424,181
DA:424,181
DA:426,181
DA:426,181
DA:429,181
DA:429,181
DA:430,181
DA:430,181
DA:431,181
DA:431,181
DA:434,181
DA:434,181
FN:438,PufferProtocolHandler.createPufferModule
FNDA:51,PufferProtocolHandler.createPufferModule
DA:445,51
DA:445,51
DA:447,51
DA:447,51
DA:447,51
DA:449,51
DA:449,51
DA:449,51
DA:450,51
DA:450,51
DA:450,304
DA:450,253
DA:451,253
DA:451,253
DA:454,51
DA:454,51
DA:461,51
DA:461,51
FN:465,PufferProtocolHandler.provisionNode
FNDA:50,PufferProtocolHandler.provisionNode
DA:473,50
DA:473,50
DA:473,50
BRDA:473,7,0,1
BRDA:473,7,1,49
DA:474,1
DA:474,1
DA:475,1
DA:475,1
DA:479,49
DA:479,49
DA:479,49
DA:480,49
DA:480,49
BRDA:480,8,0,2
BRDA:480,8,1,47
DA:481,2
DA:481,2
DA:482,2
DA:482,2
DA:485,47
DA:485,47
DA:485,47
DA:486,47
DA:486,47
DA:486,47
DA:488,47
DA:488,47
DA:490,47
DA:490,47
DA:493,47
DA:493,47
BRDA:493,9,0,17
BRDA:493,9,1,30
DA:494,17
DA:494,17
DA:495,17
DA:495,17
DA:498,30
DA:498,30
DA:500,30
DA:500,30
BRDA:500,10,0,-
BRDA:500,10,1,30
DA:501,30
DA:501,30
DA:501,30
DA:503,30
DA:503,30
DA:503,30
DA:504,30
DA:504,30
DA:506,30
DA:506,30
DA:509,30
DA:509,30
DA:510,30
DA:510,30
FN:514,PufferProtocolHandler.callSummary
FNDA:0,PufferProtocolHandler.callSummary
DA:515,0
DA:515,0
DA:516,0
DA:516,0
DA:517,0
DA:517,0
DA:518,0
DA:518,0
DA:519,0
DA:519,0
DA:520,0
DA:520,0
DA:521,0
DA:521,0
DA:522,0
DA:522,0
DA:523,0
DA:523,0
DA:524,0
DA:524,0
DA:525,0
DA:525,0
DA:526,0
DA:526,0
DA:527,0
DA:527,0
DA:528,0
DA:528,0
FN:531,PufferProtocolHandler._getMockValidatorKeyData
FNDA:181,PufferProtocolHandler._getMockValidatorKeyData
DA:536,181
DA:536,181
DA:536,181
DA:539,181
DA:539,181
DA:540,181
DA:540,181
DA:541,181
DA:541,181
DA:543,181
DA:543,181
DA:543,181
DA:545,181
DA:545,181
DA:545,181
DA:547,181
DA:547,181
DA:547,181
DA:561,181
DA:561,181
FN:564,PufferProtocolHandler._getPubKey
FNDA:211,PufferProtocolHandler._getPubKey
DA:565,211
DA:565,211
DA:565,211
FN:572,PufferProtocolHandler._executeRegistration
FNDA:181,PufferProtocolHandler._executeRegistration
DA:577,181
DA:577,181
DA:579,181
DA:579,181
DA:579,181
DA:580,181
DA:580,181
DA:580,181
DA:580,181
DA:582,181
DA:582,181
DA:582,181
DA:584,181
DA:584,181
DA:584,181
DA:586,181
DA:586,181
DA:586,181
DA:588,181
DA:588,181
DA:590,181
DA:590,181
DA:591,181
DA:591,181
DA:592,181
DA:592,181
DA:596,181
DA:596,181
FN:600,PufferProtocolHandler._getGuardianSignatures
FNDA:30,PufferProtocolHandler._getGuardianSignatures
DA:601,30
DA:601,30
DA:601,30
DA:602,30
DA:602,30
DA:602,30
DA:604,30
DA:604,30
DA:604,30
BRDA:604,11,0,-
BRDA:604,11,1,-
DA:605,0
DA:605,0
DA:605,0
DA:607,30
DA:607,30
DA:607,30
DA:609,30
DA:609,30
DA:609,30
DA:621,30
DA:621,30
DA:621,30
FN:624,PufferProtocolHandler._getGuardianEnclaveSignatures
FNDA:30,PufferProtocolHandler._getGuardianEnclaveSignatures
DA:625,30
DA:625,30
DA:625,30
DA:626,30
DA:626,30
DA:626,30
DA:628,30
DA:628,30
DA:629,30
DA:629,30
DA:629,30
DA:631,30
DA:631,30
DA:632,30
DA:632,30
DA:632,30
DA:634,30
DA:634,30
DA:634,30
DA:635,30
DA:635,30
DA:636,30
DA:636,30
DA:637,30
DA:637,30
DA:639,30
DA:639,30
FN:642,PufferProtocolHandler._getGuardianEOASignatures
FNDA:0,PufferProtocolHandler._getGuardianEOASignatures
DA:644,0
DA:644,0
DA:644,0
DA:645,0
DA:645,0
DA:645,0
DA:646,0
DA:646,0
DA:646,0
DA:647,0
DA:647,0
DA:647,0
DA:648,0
DA:648,0
DA:648,0
DA:650,0
DA:650,0
DA:651,0
DA:651,0
DA:651,0
DA:653,0
DA:653,0
DA:654,0
DA:654,0
DA:654,0
DA:656,0
DA:656,0
DA:656,0
DA:657,0
DA:657,0
DA:658,0
DA:658,0
DA:659,0
DA:659,0
DA:661,0
DA:661,0
FN:664,PufferProtocolHandler._buildMerkle
FNDA:30,PufferProtocolHandler._buildMerkle
DA:672,30
DA:672,30
DA:672,30
DA:673,30
DA:673,30
DA:673,30
DA:676,30
DA:676,30
DA:676,30
DA:677,30
DA:677,30
DA:680,30
DA:680,30
DA:687,30
DA:687,30
DA:687,30
DA:688,30
DA:688,30
DA:688,30
DA:689,30
DA:689,30
DA:689,30
DA:691,30
DA:691,30
FN:694,PufferProtocolHandler._enableCall
FNDA:51,PufferProtocolHandler._enableCall
DA:696,51
DA:696,51
DA:696,51
DA:697,51
DA:697,51
DA:698,51
DA:698,51
DA:699,51
DA:699,51
DA:700,51
DA:700,51
FNF:21
FNH:18
LF:196
LH:152
BRF:24
BRH:15
end_of_record
TN:
SF:test/helpers/GuardiansRaveEvidence.sol
FN:65,Guardian2RaveEvidence.report
FNDA:104,Guardian2RaveEvidence.report
DA:67,104
DA:67,104
DA:67,104
FN:81,Guardian2RaveEvidence.sig
FNDA:104,Guardian2RaveEvidence.sig
DA:83,104
DA:83,104
FN:88,Guardian2RaveEvidence.signingCert
FNDA:105,Guardian2RaveEvidence.signingCert
DA:89,105
DA:89,105
FN:94,Guardian2RaveEvidence.signingMod
FNDA:0,Guardian2RaveEvidence.signingMod
DA:95,0
DA:95,0
FN:100,Guardian2RaveEvidence.signingExp
FNDA:0,Guardian2RaveEvidence.signingExp
DA:101,0
DA:101,0
FN:105,Guardian2RaveEvidence.mrenclave
FNDA:1,Guardian2RaveEvidence.mrenclave
DA:106,1
DA:106,1
FN:110,Guardian2RaveEvidence.mrsigner
FNDA:1,Guardian2RaveEvidence.mrsigner
DA:111,1
DA:111,1
FN:115,Guardian2RaveEvidence.payload
FNDA:1,Guardian2RaveEvidence.payload
DA:117,1
DA:117,1
FN:123,Guardian1RaveEvidence.report
FNDA:207,Guardian1RaveEvidence.report
DA:125,207
DA:125,207
DA:125,207
FN:139,Guardian1RaveEvidence.sig
FNDA:207,Guardian1RaveEvidence.sig
DA:141,207
DA:141,207
FN:146,Guardian1RaveEvidence.signingCert
FNDA:311,Guardian1RaveEvidence.signingCert
DA:147,311
DA:147,311
FN:152,Guardian1RaveEvidence.signingMod
FNDA:0,Guardian1RaveEvidence.signingMod
DA:153,0
DA:153,0
FN:158,Guardian1RaveEvidence.signingExp
FNDA:0,Guardian1RaveEvidence.signingExp
DA:159,0
DA:159,0
FN:163,Guardian1RaveEvidence.mrenclave
FNDA:309,Guardian1RaveEvidence.mrenclave
DA:164,309
DA:164,309
FN:168,Guardian1RaveEvidence.mrsigner
FNDA:309,Guardian1RaveEvidence.mrsigner
DA:169,309
DA:169,309
FN:173,Guardian1RaveEvidence.payload
FNDA:105,Guardian1RaveEvidence.payload
DA:175,105
DA:175,105
FN:7,Guardian3RaveEvidence.report
FNDA:0,Guardian3RaveEvidence.report
DA:9,0
DA:9,0
DA:9,0
FN:23,Guardian3RaveEvidence.sig
FNDA:0,Guardian3RaveEvidence.sig
DA:25,0
DA:25,0
FN:30,Guardian3RaveEvidence.signingCert
FNDA:0,Guardian3RaveEvidence.signingCert
DA:31,0
DA:31,0
FN:36,Guardian3RaveEvidence.signingMod
FNDA:0,Guardian3RaveEvidence.signingMod
DA:37,0
DA:37,0
FN:42,Guardian3RaveEvidence.signingExp
FNDA:0,Guardian3RaveEvidence.signingExp
DA:43,0
DA:43,0
FN:47,Guardian3RaveEvidence.mrenclave
FNDA:0,Guardian3RaveEvidence.mrenclave
DA:48,0
DA:48,0
FN:52,Guardian3RaveEvidence.mrsigner
FNDA:0,Guardian3RaveEvidence.mrsigner
DA:53,0
DA:53,0
FN:57,Guardian3RaveEvidence.payload
FNDA:0,Guardian3RaveEvidence.payload
DA:59,0
DA:59,0
FNF:24
FNH:12
LF:24
LH:12
BRF:0
BRH:0
end_of_record
TN:
SF:test/helpers/IntegrationTestHelper.sol
FN:25,IntegrationTestHelper.deployContracts
FNDA:0,IntegrationTestHelper.deployContracts
DA:26,0
DA:26,0
DA:28,0
DA:28,0
DA:28,0
DA:29,0
DA:29,0
DA:31,0
DA:31,0
FN:34,IntegrationTestHelper.deployContractsGoerli
FNDA:0,IntegrationTestHelper.deployContractsGoerli
DA:35,0
DA:35,0
DA:37,0
DA:37,0
DA:37,0
DA:38,0
DA:38,0
DA:40,0
DA:40,0
FN:43,IntegrationTestHelper._deployAndLabel
FNDA:0,IntegrationTestHelper._deployAndLabel
DA:45,0
DA:45,0
DA:45,0
DA:47,0
DA:47,0
DA:48,0
DA:48,0
DA:49,0
DA:49,0
DA:50,0
DA:50,0
DA:51,0
DA:51,0
DA:52,0
DA:52,0
DA:53,0
DA:53,0
DA:54,0
DA:54,0
DA:55,0
DA:55,0
DA:56,0
DA:56,0
DA:57,0
DA:57,0
DA:58,0
DA:58,0
FNF:3
FNH:0
LF:21
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:test/helpers/TestHelper.sol
FN:112,TestHelper.setUp
FNDA:6,TestHelper.setUp
DA:113,6
DA:113,6
DA:114,6
DA:114,6
FN:117,TestHelper._skipDefaultFuzzAddresses
FNDA:6,TestHelper._skipDefaultFuzzAddresses
DA:118,6
DA:118,6
DA:119,6
DA:119,6
DA:120,6
DA:120,6
DA:121,6
DA:121,6
DA:122,6
DA:122,6
DA:123,6
DA:123,6
DA:124,6
DA:124,6
DA:125,6
DA:125,6
DA:126,6
DA:126,6
FN:129,TestHelper._deployContractAndSetupGuardians
FNDA:0,TestHelper._deployContractAndSetupGuardians
DA:131,6
DA:131,6
DA:132,6
DA:132,6
DA:133,6
DA:133,6
DA:136,6
DA:136,6
DA:137,6
DA:137,6
DA:138,6
DA:138,6
DA:139,6
DA:139,6
DA:140,6
DA:140,6
DA:141,6
DA:141,6
DA:142,6
DA:142,6
DA:143,6
DA:143,6
DA:144,6
DA:144,6
DA:146,6
DA:146,6
DA:146,6
DA:147,6
DA:147,6
DA:148,6
DA:148,6
DA:149,6
DA:149,6
DA:152,6
DA:152,6
DA:152,6
DA:154,6
DA:154,6
DA:155,6
DA:155,6
DA:156,6
DA:156,6
DA:157,6
DA:157,6
DA:158,6
DA:158,6
DA:159,6
DA:159,6
DA:160,6
DA:160,6
DA:161,6
DA:161,6
DA:164,6
DA:164,6
DA:165,6
DA:165,6
DA:166,6
DA:166,6
DA:167,6
DA:167,6
DA:169,6
DA:169,6
DA:171,6
DA:171,6
DA:172,6
DA:172,6
DA:173,6
DA:173,6
DA:175,6
DA:175,6
DA:175,6
DA:176,6
DA:176,6
DA:176,6
DA:177,6
DA:177,6
DA:177,6
DA:180,6
DA:180,6
DA:181,6
DA:181,6
DA:182,6
DA:182,6
DA:183,6
DA:183,6
DA:184,6
DA:184,6
DA:185,6
DA:185,6
DA:187,6
DA:187,6
DA:188,6
DA:188,6
DA:191,6
DA:191,6
DA:192,6
DA:192,6
DA:194,6
DA:194,6
BRDA:194,0,0,-
BRDA:194,0,1,6
DA:196,6
DA:196,6
DA:203,6
DA:203,6
DA:204,6
DA:204,6
DA:205,6
DA:205,6
DA:206,6
DA:206,6
DA:215,6
DA:215,6
DA:217,6
DA:217,6
DA:218,6
DA:218,6
DA:219,6
DA:219,6
DA:220,6
DA:220,6
DA:229,6
DA:229,6
DA:231,6
DA:231,6
DA:232,6
DA:232,6
DA:233,6
DA:233,6
DA:234,6
DA:234,6
DA:243,6
DA:243,6
DA:245,6
DA:245,6
DA:246,6
DA:246,6
DA:247,6
DA:247,6
DA:249,6
DA:249,6
DA:249,6
DA:250,6
DA:250,6
DA:251,6
DA:251,6
DA:252,6
DA:252,6
FN:255,TestHelper._upgradePufferVaultToMainnet
FNDA:6,TestHelper._upgradePufferVaultToMainnet
DA:259,6
DA:259,6
DA:260,6
DA:260,6
DA:262,6
DA:262,6
DA:263,6
DA:263,6
DA:265,6
DA:265,6
DA:265,6
DA:266,6
DA:266,6
DA:267,6
DA:267,6
DA:268,6
DA:268,6
DA:270,6
DA:270,6
FN:273,TestHelper._depositLiquidityToPufferVault
FNDA:6,TestHelper._depositLiquidityToPufferVault
DA:275,6
DA:275,6
DA:277,6
DA:277,6
DA:278,6
DA:278,6
DA:279,6
DA:279,6
FN:282,TestHelper._getGuardianEOASignatures
FNDA:0,TestHelper._getGuardianEOASignatures
DA:283,0
DA:283,0
DA:283,0
DA:284,0
DA:284,0
DA:284,0
DA:286,0
DA:286,0
DA:287,0
DA:287,0
DA:287,0
DA:289,0
DA:289,0
DA:290,0
DA:290,0
DA:290,0
DA:292,0
DA:292,0
DA:292,0
DA:293,0
DA:293,0
DA:294,0
DA:294,0
DA:295,0
DA:295,0
DA:297,0
DA:297,0
FN:300,TestHelper._getGuardianEnclaveSignatures
FNDA:0,TestHelper._getGuardianEnclaveSignatures
DA:301,0
DA:301,0
DA:301,0
DA:302,0
DA:302,0
DA:302,0
DA:304,0
DA:304,0
DA:305,0
DA:305,0
DA:305,0
DA:307,0
DA:307,0
DA:308,0
DA:308,0
DA:308,0
DA:310,0
DA:310,0
DA:310,0
DA:311,0
DA:311,0
DA:312,0
DA:312,0
DA:313,0
DA:313,0
DA:315,0
DA:315,0
FN:319,TestHelper._signPermit
FNDA:0,TestHelper._signPermit
DA:320,0
DA:320,0
DA:320,0
DA:321,0
DA:321,0
DA:321,0
DA:322,0
DA:322,0
DA:324,0
DA:324,0
DA:324,0
FN:327,TestHelper._testTemps
FNDA:0,TestHelper._testTemps
DA:331,0
DA:331,0
DA:332,0
DA:332,0
DA:333,0
DA:333,0
DA:334,0
DA:334,0
FNF:9
FNH:4
LF:124
LH:94
BRF:2
BRH:1
end_of_record
TN:
SF:test/invariant/PufferProtocolInvariants.sol
FN:10,PufferProtocolInvariants.setUp
FNDA:6,PufferProtocolInvariants.setUp
DA:11,6
DA:11,6
DA:13,6
DA:13,6
DA:18,6
DA:18,6
FN:22,PufferProtocolInvariants.invariant_pufferVaultAssetsCanOnlyGoUp
FNDA:0,PufferProtocolInvariants.invariant_pufferVaultAssetsCanOnlyGoUp
DA:23,0
DA:23,0
BRDA:23,0,0,-
BRDA:23,0,1,-
DA:24,0
DA:24,0
DA:26,0
DA:26,0
FN:31,PufferProtocolInvariants.invariant_pufferProtocolBond
FNDA:0,PufferProtocolInvariants.invariant_pufferProtocolBond
DA:33,0
DA:33,0
DA:33,0
DA:34,0
DA:34,0
DA:37,0
DA:37,0
DA:37,0
DA:38,0
DA:38,0
DA:41,0
DA:41,0
BRDA:41,1,0,-
BRDA:41,1,1,-
DA:42,0
DA:42,0
DA:49,0
DA:49,0
FN:58,PufferProtocolInvariants.invariant_pufEthToETHRate
FNDA:0,PufferProtocolInvariants.invariant_pufEthToETHRate
DA:60,0
DA:60,0
FN:64,PufferProtocolInvariants.invariant_exchange_rate
FNDA:0,PufferProtocolInvariants.invariant_exchange_rate
DA:65,0
DA:65,0
DA:65,0
DA:66,0
DA:66,0
DA:66,0
DA:69,0
DA:69,0
FN:74,PufferProtocolInvariants.invariant_printError
FNDA:0,PufferProtocolInvariants.invariant_printError
DA:75,0
DA:75,0
FN:79,PufferProtocolInvariants.invariant_callSummary
FNDA:0,PufferProtocolInvariants.invariant_callSummary
DA:80,0
DA:80,0
FNF:7
FNH:1
LF:19
LH:3
BRF:4
BRH:0
end_of_record
TN:
SF:test/mocks/BeaconMock.sol
FN:9,BeaconMock.deposit
FNDA:796,BeaconMock.deposit
DA:15,796
DA:15,796
BRDA:15,0,0,-
BRDA:15,0,1,796
DA:16,0
DA:16,0
DA:18,796
DA:18,796
FNF:1
FNH:1
LF:3
LH:2
BRF:2
BRH:1
end_of_record
TN:
SF:test/mocks/DelegationManagerMock.sol
FN:7,DelegationManagerMock.registerAsOperator
FNDA:0,DelegationManagerMock.registerAsOperator
FN:12,DelegationManagerMock.modifyOperatorDetails
FNDA:0,DelegationManagerMock.modifyOperatorDetails
FNF:2
FNH:0
LF:0
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:test/mocks/ERC20Mock.sol
FN:9,ERC20Mock.mint
FNDA:0,ERC20Mock.mint
DA:10,0
DA:10,0
FNF:1
FNH:0
LF:1
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:test/mocks/EigenPodManagerMock.sol
FN:9,EigenPodManagerMock.slasher
FNDA:0,EigenPodManagerMock.slasher
FN:11,EigenPodManagerMock.createPod
FNDA:1335,EigenPodManagerMock.createPod
DA:12,1335
DA:12,1335
FN:15,EigenPodManagerMock.addShares
FNDA:0,EigenPodManagerMock.addShares
DA:16,0
DA:16,0
FN:19,EigenPodManagerMock.beaconChainETHStrategy
FNDA:0,EigenPodManagerMock.beaconChainETHStrategy
FN:21,EigenPodManagerMock.eigenPodBeacon
FNDA:0,EigenPodManagerMock.eigenPodBeacon
DA:22,0
DA:22,0
DA:22,0
FN:25,EigenPodManagerMock.ethPOS
FNDA:0,EigenPodManagerMock.ethPOS
DA:26,0
DA:26,0
DA:26,0
FN:29,EigenPodManagerMock.getBlockRootAtTimestamp
FNDA:0,EigenPodManagerMock.getBlockRootAtTimestamp
DA:30,0
DA:30,0
DA:30,0
FN:33,EigenPodManagerMock.maxPods
FNDA:0,EigenPodManagerMock.maxPods
DA:34,0
DA:34,0
FN:37,EigenPodManagerMock.numPods
FNDA:0,EigenPodManagerMock.numPods
DA:38,0
DA:38,0
FN:41,EigenPodManagerMock.podOwnerShares
FNDA:0,EigenPodManagerMock.podOwnerShares
DA:42,0
DA:42,0
FN:45,EigenPodManagerMock.recordBeaconChainETHBalanceUpdate
FNDA:0,EigenPodManagerMock.recordBeaconChainETHBalanceUpdate
FN:46,EigenPodManagerMock.removeShares
FNDA:0,EigenPodManagerMock.removeShares
FN:47,EigenPodManagerMock.withdrawSharesAsTokens
FNDA:0,EigenPodManagerMock.withdrawSharesAsTokens
FN:49,EigenPodManagerMock.stake
FNDA:23,EigenPodManagerMock.stake
FN:54,EigenPodManagerMock.restakeBeaconChainETH
FNDA:0,EigenPodManagerMock.restakeBeaconChainETH
FN:56,EigenPodManagerMock.recordBeaconChainETHBalanceUpdate
FNDA:0,EigenPodManagerMock.recordBeaconChainETHBalanceUpdate
FN:62,EigenPodManagerMock.withdrawRestakedBeaconChainETH
FNDA:0,EigenPodManagerMock.withdrawRestakedBeaconChainETH
FN:67,EigenPodManagerMock.updateBeaconChainOracle
FNDA:0,EigenPodManagerMock.updateBeaconChainOracle
FN:69,EigenPodManagerMock.ownerToPod
FNDA:1335,EigenPodManagerMock.ownerToPod
DA:71,1335
DA:71,1335
DA:71,1335
FN:74,EigenPodManagerMock.getPod
FNDA:0,EigenPodManagerMock.getPod
DA:75,0
DA:75,0
DA:75,0
FN:78,EigenPodManagerMock.beaconChainOracle
FNDA:0,EigenPodManagerMock.beaconChainOracle
DA:79,0
DA:79,0
DA:79,0
FN:82,EigenPodManagerMock.getBeaconChainStateRoot
FNDA:0,EigenPodManagerMock.getBeaconChainStateRoot
DA:83,0
DA:83,0
DA:83,0
FN:86,EigenPodManagerMock.strategyManager
FNDA:0,EigenPodManagerMock.strategyManager
DA:87,0
DA:87,0
DA:87,0
FN:90,EigenPodManagerMock.decrementWithdrawableRestakedExecutionLayerGwei
FNDA:0,EigenPodManagerMock.decrementWithdrawableRestakedExecutionLayerGwei
FN:92,EigenPodManagerMock.incrementWithdrawableRestakedExecutionLayerGwei
FNDA:0,EigenPodManagerMock.incrementWithdrawableRestakedExecutionLayerGwei
FN:94,EigenPodManagerMock.hasPod
FNDA:0,EigenPodManagerMock.hasPod
DA:95,0
DA:95,0
FN:98,EigenPodManagerMock.pause
FNDA:0,EigenPodManagerMock.pause
FN:100,EigenPodManagerMock.pauseAll
FNDA:0,EigenPodManagerMock.pauseAll
FN:102,EigenPodManagerMock.paused
FNDA:0,EigenPodManagerMock.paused
DA:103,0
DA:103,0
FN:106,EigenPodManagerMock.paused
FNDA:0,EigenPodManagerMock.paused
DA:107,0
DA:107,0
FN:110,EigenPodManagerMock.setPauserRegistry
FNDA:0,EigenPodManagerMock.setPauserRegistry
FN:112,EigenPodManagerMock.pauserRegistry
FNDA:0,EigenPodManagerMock.pauserRegistry
DA:113,0
DA:113,0
DA:113,0
FN:116,EigenPodManagerMock.unpause
FNDA:0,EigenPodManagerMock.unpause
FNF:33
FNH:3
LF:17
LH:2
BRF:0
BRH:0
end_of_record
TN:
SF:test/mocks/PausableMock.sol
FN:57,PausableMock._initializePauser
FNDA:0,PausableMock._initializePauser
DA:58,0
DA:58,0
BRDA:58,0,0,-
BRDA:58,0,1,-
DA:62,0
DA:62,0
DA:63,0
DA:63,0
DA:64,0
DA:64,0
FN:73,PausableMock.pause
FNDA:0,PausableMock.pause
DA:75,0
DA:75,0
BRDA:75,1,0,-
BRDA:75,1,1,-
DA:76,0
DA:76,0
DA:77,0
DA:77,0
FN:83,PausableMock.pauseAll
FNDA:0,PausableMock.pauseAll
DA:84,0
DA:84,0
DA:85,0
DA:85,0
FN:94,PausableMock.unpause
FNDA:0,PausableMock.unpause
DA:96,0
DA:96,0
BRDA:96,2,0,-
BRDA:96,2,1,-
DA:99,0
DA:99,0
DA:100,0
DA:100,0
FN:104,PausableMock.paused
FNDA:0,PausableMock.paused
DA:105,0
DA:105,0
FN:109,PausableMock.paused
FNDA:0,PausableMock.paused
DA:110,0
DA:110,0
DA:110,0
DA:111,0
DA:111,0
FN:115,PausableMock.setPauserRegistry
FNDA:0,PausableMock.setPauserRegistry
DA:116,0
DA:116,0
FN:120,PausableMock._setPauserRegistry
FNDA:0,PausableMock._setPauserRegistry
DA:121,0
DA:121,0
BRDA:121,3,0,-
BRDA:121,3,1,-
DA:125,0
DA:125,0
DA:126,0
DA:126,0
FNF:8
FNH:0
LF:19
LH:0
BRF:8
BRH:0
end_of_record
TN:
SF:test/mocks/PufferProtocolMockUpgrade.sol
FN:11,PufferProtocolMockUpgrade.returnSomething
FNDA:1,PufferProtocolMockUpgrade.returnSomething
DA:12,1
DA:12,1
FNF:1
FNH:1
LF:1
LH:1
BRF:0
BRH:0
end_of_record
TN:
SF:test/mocks/SlasherMock.sol
FN:76,SlasherMock.initialize
FNDA:0,SlasherMock.initialize
DA:80,0
DA:80,0
DA:81,0
DA:81,0
FN:88,SlasherMock.optIntoSlashing
FNDA:0,SlasherMock.optIntoSlashing
DA:90,0
DA:90,0
FN:99,SlasherMock.freezeOperator
FNDA:0,SlasherMock.freezeOperator
DA:100,0
DA:100,0
BRDA:100,0,0,-
BRDA:100,0,1,-
DA:104,0
DA:104,0
FN:111,SlasherMock.resetFrozenStatus
FNDA:0,SlasherMock.resetFrozenStatus
DA:112,0
DA:112,0
DA:112,0
DA:113,0
DA:113,0
DA:115,0
DA:115,0
FN:127,SlasherMock.recordFirstStakeUpdate
FNDA:0,SlasherMock.recordFirstStakeUpdate
DA:133,0
DA:133,0
DA:136,0
DA:136,0
BRDA:136,1,0,-
BRDA:136,1,1,-
FN:152,SlasherMock.recordStakeUpdate
FNDA:0,SlasherMock.recordStakeUpdate
DA:157,0
DA:157,0
BRDA:157,2,0,-
BRDA:157,2,1,-
DA:159,0
DA:159,0
DA:165,0
DA:165,0
DA:165,0
BRDA:165,3,0,-
BRDA:165,3,1,-
DA:167,0
DA:167,0
BRDA:167,4,0,-
BRDA:167,4,1,-
DA:172,0
DA:172,0
DA:175,0
DA:175,0
BRDA:175,5,0,-
BRDA:175,5,1,-
FN:190,SlasherMock.recordLastStakeUpdateAndRevokeSlashingAbility
FNDA:0,SlasherMock.recordLastStakeUpdateAndRevokeSlashingAbility
DA:195,0
DA:195,0
DA:197,0
DA:197,0
BRDA:197,6,0,-
BRDA:197,6,1,-
DA:202,0
DA:202,0
FN:208,SlasherMock.contractCanSlashOperatorUntilBlock
FNDA:0,SlasherMock.contractCanSlashOperatorUntilBlock
DA:213,0
DA:213,0
FN:217,SlasherMock.latestUpdateBlock
FNDA:0,SlasherMock.latestUpdateBlock
DA:218,0
DA:218,0
FN:225,SlasherMock.whitelistedContractDetails
FNDA:0,SlasherMock.whitelistedContractDetails
DA:230,0
DA:230,0
FN:241,SlasherMock.isFrozen
FNDA:0,SlasherMock.isFrozen
DA:242,0
BRDA:242,7,0,-
BRDA:242,7,1,-
DA:243,0
DA:243,0
DA:244,0
DA:244,0
BRDA:244,8,0,-
BRDA:244,8,1,-
DA:245,0
DA:245,0
DA:245,0
DA:246,0
DA:246,0
DA:248,0
DA:248,0
FN:253,SlasherMock.canSlash
FNDA:0,SlasherMock.canSlash
DA:255,0
DA:255,0
BRDA:254,9,0,-
BRDA:254,9,1,-
DA:257,0
DA:257,0
DA:259,0
DA:259,0
FN:275,SlasherMock.canWithdraw
FNDA:0,SlasherMock.canWithdraw
DA:281,0
DA:281,0
BRDA:281,10,0,-
BRDA:281,10,1,-
DA:282,0
DA:282,0
DA:286,0
DA:286,0
DA:294,0
DA:294,0
DA:294,0
DA:295,0
DA:295,0
BRDA:293,11,0,-
BRDA:293,11,1,-
DA:302,0
DA:302,0
DA:303,0
DA:303,0
DA:311,0
DA:311,0
FN:315,SlasherMock.operatorToMiddlewareTimes
FNDA:0,SlasherMock.operatorToMiddlewareTimes
DA:320,0
DA:320,0
FN:324,SlasherMock.middlewareTimesLength
FNDA:0,SlasherMock.middlewareTimesLength
DA:325,0
DA:325,0
FN:329,SlasherMock.getMiddlewareTimesIndexStalestUpdateBlock
FNDA:0,SlasherMock.getMiddlewareTimesIndexStalestUpdateBlock
DA:330,0
DA:330,0
FN:334,SlasherMock.getMiddlewareTimesIndexServeUntilBlock
FNDA:0,SlasherMock.getMiddlewareTimesIndexServeUntilBlock
DA:335,0
DA:335,0
FN:339,SlasherMock.operatorWhitelistedContractsLinkedListSize
FNDA:0,SlasherMock.operatorWhitelistedContractsLinkedListSize
DA:340,0
DA:340,0
FN:344,SlasherMock.operatorWhitelistedContractsLinkedListEntry
FNDA:0,SlasherMock.operatorWhitelistedContractsLinkedListEntry
DA:349,0
DA:349,0
DA:349,0
FN:362,SlasherMock.getCorrectValueForInsertAfter
FNDA:0,SlasherMock.getCorrectValueForInsertAfter
DA:363,0
DA:363,0
DA:363,0
DA:369,0
DA:369,0
BRDA:369,12,0,-
BRDA:369,12,1,-
DA:370,0
DA:370,0
DA:378,0
DA:378,0
DA:378,0
DA:380,0
DA:380,0
DA:383,0
DA:383,0
DA:384,0
DA:384,0
DA:386,0
DA:386,0
FN:391,SlasherMock.getPreviousWhitelistedContractByUpdate
FNDA:0,SlasherMock.getPreviousWhitelistedContractByUpdate
DA:396,0
DA:396,0
DA:396,0
FN:401,SlasherMock._optIntoSlashing
FNDA:0,SlasherMock._optIntoSlashing
DA:403,0
DA:403,0
DA:404,0
DA:404,0
FN:407,SlasherMock._revokeSlashingAbility
FNDA:0,SlasherMock._revokeSlashingAbility
DA:408,0
DA:408,0
BRDA:408,13,0,-
BRDA:408,13,1,-
DA:413,0
DA:413,0
DA:414,0
DA:414,0
FN:417,SlasherMock._freezeOperator
FNDA:0,SlasherMock._freezeOperator
DA:418,0
DA:418,0
BRDA:418,14,0,-
BRDA:418,14,1,-
DA:419,0
DA:419,0
DA:420,0
DA:420,0
FN:424,SlasherMock._resetFrozenStatus
FNDA:0,SlasherMock._resetFrozenStatus
DA:425,0
BRDA:425,15,0,-
BRDA:425,15,1,-
DA:426,0
DA:426,0
DA:427,0
DA:427,0
FN:439,SlasherMock._recordUpdateAndAddToMiddlewareTimes
FNDA:0,SlasherMock._recordUpdateAndAddToMiddlewareTimes
DA:443,0
DA:443,0
BRDA:443,16,0,-
BRDA:443,16,1,-
DA:447,0
DA:447,0
DA:449,0
DA:449,0
DA:450,0
DA:450,0
DA:451,0
DA:451,0
BRDA:451,17,0,-
BRDA:451,17,1,-
DA:452,0
DA:452,0
DA:454,0
DA:454,0
DA:455,0
DA:455,0
DA:457,0
DA:457,0
BRDA:457,18,0,-
BRDA:457,18,1,-
DA:458,0
DA:458,0
DA:460,0
DA:460,0
DA:464,0
DA:464,0
BRDA:464,19,0,-
BRDA:464,19,1,-
DA:465,0
DA:465,0
DA:466,0
DA:466,0
DA:469,0
DA:469,0
DA:469,0
DA:469,0
BRDA:469,20,0,-
BRDA:469,20,1,-
DA:471,0
DA:471,0
DA:472,0
DA:472,0
DA:474,0
BRDA:474,21,0,-
BRDA:474,21,1,-
DA:476,0
DA:476,0
DA:478,0
DA:478,0
BRDA:478,22,0,-
BRDA:478,22,1,-
DA:480,0
DA:480,0
DA:483,0
DA:483,0
DA:487,0
DA:487,0
DA:490,0
DA:490,0
DA:494,0
BRDA:494,23,0,-
BRDA:494,23,1,-
DA:495,0
DA:495,0
DA:496,0
DA:496,0
FN:506,SlasherMock._updateMiddlewareList
FNDA:0,SlasherMock._updateMiddlewareList
DA:512,0
DA:512,0
DA:514,0
DA:514,0
BRDA:514,24,0,-
BRDA:514,24,1,-
DA:516,0
DA:516,0
BRDA:516,25,0,-
BRDA:516,25,1,-
DA:517,0
DA:517,0
DA:525,0
DA:525,0
BRDA:524,26,0,-
BRDA:524,26,1,-
DA:528,0
DA:528,0
DA:532,0
DA:532,0
BRDA:532,27,0,-
BRDA:532,27,1,-
DA:534,0
DA:534,0
DA:535,0
DA:535,0
DA:536,0
BRDA:536,28,0,-
BRDA:536,28,1,-
DA:542,0
DA:542,0
BRDA:541,29,0,-
BRDA:541,29,1,-
DA:544,0
DA:544,0
DA:550,0
DA:550,0
BRDA:550,30,0,-
BRDA:550,30,1,-
DA:555,0
DA:555,0
BRDA:555,31,0,-
BRDA:555,31,1,-
DA:563,0
DA:563,0
DA:564,0
DA:564,0
DA:573,0
DA:573,0
BRDA:572,32,0,-
BRDA:572,32,1,-
DA:577,0
DA:577,0
DA:580,0
DA:580,0
BRDA:580,33,0,-
BRDA:580,33,1,-
DA:585,0
DA:585,0
BRDA:585,34,0,-
BRDA:585,34,1,-
DA:591,0
DA:591,0
DA:592,0
DA:592,0
FN:597,SlasherMock._addressToUint
FNDA:0,SlasherMock._addressToUint
DA:598,0
DA:598,0
DA:598,0
FN:601,SlasherMock._uintToAddress
FNDA:0,SlasherMock._uintToAddress
DA:602,0
DA:602,0
DA:602,0
FNF:29
FNH:0
LF:116
LH:0
BRF:70
BRH:0
end_of_record
TN:
SF:test/mocks/StructuredLinkedListMock.sol
FN:28,StructuredLinkedListMock.listExists
FNDA:0,StructuredLinkedListMock.listExists
DA:30,0
DA:30,0
DA:30,0
DA:30,0
BRDA:30,0,0,-
BRDA:30,0,1,-
DA:31,0
DA:31,0
DA:33,0
DA:33,0
FN:43,StructuredLinkedListMock.nodeExists
FNDA:0,StructuredLinkedListMock.nodeExists
DA:44,0
DA:44,0
DA:44,0
DA:44,0
BRDA:44,1,0,-
BRDA:44,1,1,-
DA:45,0
DA:45,0
BRDA:45,2,0,-
BRDA:45,2,1,-
DA:46,0
DA:46,0
DA:48,0
DA:48,0
DA:51,0
DA:51,0
FN:60,StructuredLinkedListMock.sizeOf
FNDA:0,StructuredLinkedListMock.sizeOf
DA:61,0
DA:61,0
FN:69,StructuredLinkedListMock.getHead
FNDA:0,StructuredLinkedListMock.getHead
DA:70,0
DA:70,0
FN:79,StructuredLinkedListMock.getNode
FNDA:0,StructuredLinkedListMock.getNode
DA:80,0
DA:80,0
BRDA:80,3,0,-
BRDA:80,3,1,-
DA:81,0
DA:81,0
DA:83,0
DA:83,0
FN:94,StructuredLinkedListMock.getAdjacent
FNDA:0,StructuredLinkedListMock.getAdjacent
DA:95,0
DA:95,0
BRDA:95,4,0,-
BRDA:95,4,1,-
DA:96,0
DA:96,0
DA:98,0
DA:98,0
DA:99,0
DA:99,0
FN:109,StructuredLinkedListMock.getNextNode
FNDA:0,StructuredLinkedListMock.getNextNode
DA:110,0
DA:110,0
DA:110,0
FN:119,StructuredLinkedListMock.getPreviousNode
FNDA:0,StructuredLinkedListMock.getPreviousNode
DA:120,0
DA:120,0
DA:120,0
FN:130,StructuredLinkedListMock.insertAfter
FNDA:0,StructuredLinkedListMock.insertAfter
DA:131,0
DA:131,0
DA:131,0
FN:141,StructuredLinkedListMock.insertBefore
FNDA:0,StructuredLinkedListMock.insertBefore
DA:142,0
DA:142,0
DA:142,0
FN:151,StructuredLinkedListMock.remove
FNDA:0,StructuredLinkedListMock.remove
DA:152,0
DA:152,0
BRDA:152,5,0,-
BRDA:152,5,1,-
DA:153,0
DA:153,0
DA:155,0
DA:155,0
DA:156,0
DA:156,0
DA:157,0
DA:157,0
DA:159,0
DA:159,0
DA:161,0
DA:161,0
FN:170,StructuredLinkedListMock.pushFront
FNDA:0,StructuredLinkedListMock.pushFront
DA:171,0
DA:171,0
DA:171,0
FN:180,StructuredLinkedListMock.pushBack
FNDA:0,StructuredLinkedListMock.pushBack
DA:181,0
DA:181,0
DA:181,0
FN:189,StructuredLinkedListMock.popFront
FNDA:0,StructuredLinkedListMock.popFront
DA:190,0
DA:190,0
DA:190,0
FN:198,StructuredLinkedListMock.popBack
FNDA:0,StructuredLinkedListMock.popBack
DA:199,0
DA:199,0
DA:199,0
FN:209,StructuredLinkedListMock._push
FNDA:0,StructuredLinkedListMock._push
DA:210,0
DA:210,0
DA:210,0
FN:219,StructuredLinkedListMock._pop
FNDA:0,StructuredLinkedListMock._pop
DA:220,0
DA:220,0
DA:221,0
DA:221,0
DA:222,0
DA:222,0
DA:222,0
FN:233,StructuredLinkedListMock._insert
FNDA:0,StructuredLinkedListMock._insert
DA:234,0
DA:234,0
DA:234,0
DA:234,0
BRDA:234,6,0,-
BRDA:234,6,1,-
DA:235,0
DA:235,0
DA:236,0
DA:236,0
DA:237,0
DA:237,0
DA:239,0
DA:239,0
DA:241,0
DA:241,0
DA:244,0
DA:244,0
FN:254,StructuredLinkedListMock._createLink
FNDA:0,StructuredLinkedListMock._createLink
DA:255,0
DA:255,0
DA:256,0
DA:256,0
FNF:19
FNH:0
LF:45
LH:0
BRF:14
BRH:0
end_of_record
TN:
SF:test/unit/LibBeaconchainContract.t.sol
FN:38,LibBeaconchainContractOld.getDepositDataRoot
FNDA:256,LibBeaconchainContractOld.getDepositDataRoot
DA:43,256
DA:43,256
DA:43,256
DA:44,256
DA:44,256
DA:44,256
DA:49,256
DA:49,256
DA:49,256
FN:57,LibBeaconchainContractOld._toLittleEndian64
FNDA:256,LibBeaconchainContractOld._toLittleEndian64
DA:59,256
DA:59,256
DA:60,256
DA:60,256
DA:60,256
DA:62,256
DA:62,256
DA:63,256
DA:63,256
DA:64,256
DA:64,256
DA:65,256
DA:65,256
DA:66,256
DA:66,256
DA:67,256
DA:67,256
DA:68,256
DA:68,256
DA:69,256
DA:69,256
FNF:2
FNH:2
LF:13
LH:13
BRF:0
BRH:0
end_of_record
TN:
SF:test/unit/PufferModule.t.sol
FN:13,PufferModuleUpgrade.getMagicValue
FNDA:1,PufferModuleUpgrade.getMagicValue
DA:14,1
DA:14,1
FNF:1
FNH:1
LF:1
LH:1
BRF:0
BRH:0
end_of_record