example-encrypto/lcov.info

TN:
SF:script/BaseERC20.sol
DA:11,0
FN:11,BaseERC20.constructor
FNDA:0,BaseERC20.constructor
DA:16,0
DA:19,0
FN:19,BaseERC20.decimals
FNDA:0,BaseERC20.decimals
DA:20,0
DA:23,0
FN:23,BaseERC20.mint
FNDA:0,BaseERC20.mint
DA:24,0
DA:27,0
FN:27,BaseERC20.burn
FNDA:0,BaseERC20.burn
DA:28,0
FNF:4
FNH:0
LF:8
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:script/ChainJsonUtils.sol
DA:18,0
FN:18,ChainJsonUtils.loadChain
FNDA:0,ChainJsonUtils.loadChain
DA:19,0
DA:20,0
DA:21,0
DA:27,0
DA:33,0
FN:33,ChainJsonUtils.contractPath
FNDA:0,ChainJsonUtils.contractPath
DA:36,0
DA:41,0
FN:41,ChainJsonUtils.readAddress
FNDA:0,ChainJsonUtils.readAddress
DA:42,0
BRDA:42,0,0,-
DA:43,0
DA:44,0
DA:46,0
FN:46,ChainJsonUtils.readUint
FNDA:0,ChainJsonUtils.readUint
DA:47,0
BRDA:47,1,0,-
DA:48,0
DA:49,0
DA:51,0
FN:51,ChainJsonUtils.readBool
FNDA:0,ChainJsonUtils.readBool
DA:52,0
BRDA:52,2,0,-
DA:53,0
DA:54,0
DA:56,0
FN:56,ChainJsonUtils.writeAddress
FNDA:0,ChainJsonUtils.writeAddress
DA:57,0
BRDA:57,3,0,-
DA:58,0
DA:60,0
FN:60,ChainJsonUtils.writeUint
FNDA:0,ChainJsonUtils.writeUint
DA:61,0
BRDA:61,4,0,-
DA:62,0
DA:64,0
FN:64,ChainJsonUtils.writeBool
FNDA:0,ChainJsonUtils.writeBool
DA:65,0
BRDA:65,5,0,-
DA:66,0
DA:68,0
FN:68,ChainJsonUtils.writeContractAddress
FNDA:0,ChainJsonUtils.writeContractAddress
DA:72,0
BRDA:72,6,0,-
DA:73,0
FNF:9
FNH:0
LF:31
LH:0
BRF:7
BRH:0
end_of_record
TN:
SF:script/Redacted.s.sol
DA:11,0
FN:11,Redacted.broadcast
FNDA:0,Redacted.broadcast
DA:13,0
DA:15,0
DA:18,0
FN:18,Redacted.deployConfidentialERC20
FNDA:0,Redacted.deployConfidentialERC20
DA:23,0
DA:24,0
DA:26,0
DA:27,0
FNF:2
FNH:0
LF:8
LH:0
BRF:0
BRH:0
end_of_record
TN:
SF:src/ConfidentialERC20.sol
DA:19,11
FN:19,ConfidentialERC20.constructor
FNDA:11,ConfidentialERC20.constructor
DA:35,11
DA:36,1
BRDA:36,0,0,1
DA:37,1
DA:39,0
DA:43,10
DA:45,10
DA:50,13
FN:50,ConfidentialERC20.symbol
FNDA:13,ConfidentialERC20.symbol
DA:51,13
DA:54,2
FN:54,ConfidentialERC20.updateSymbol
FNDA:2,ConfidentialERC20.updateSymbol
DA:55,2
DA:61,2
FN:61,ConfidentialERC20.erc20
FNDA:2,ConfidentialERC20.erc20
DA:62,2
DA:65,4
FN:65,ConfidentialERC20.encrypt
FNDA:4,ConfidentialERC20.encrypt
DA:66,4
DA:67,4
DA:70,1
FN:70,ConfidentialERC20.decrypt
FNDA:1,ConfidentialERC20.decrypt
DA:71,1
DA:72,1
FNF:6
FNH:6
LF:19
LH:18
BRF:1
BRH:1
end_of_record
TN:
SF:src/ConfidentialETH.sol
DA:13,10
FN:13,ConfidentialETH.constructor
FNDA:10,ConfidentialETH.constructor
DA:23,10
DA:32,2
FN:32,ConfidentialETH.encryptWETH
FNDA:2,ConfidentialETH.encryptWETH
DA:33,2
DA:34,2
DA:35,2
DA:38,1
FN:38,ConfidentialETH.encryptETH
FNDA:1,ConfidentialETH.encryptETH
DA:39,1
DA:42,1
FN:42,ConfidentialETH.decrypt
FNDA:1,ConfidentialETH.decrypt
DA:43,1
DA:45,1
DA:46,1
BRDA:46,0,0,-
FNF:4
FNH:4
LF:12
LH:12
BRF:1
BRH:0
end_of_record
TN:
SF:src/FHERC20.sol
DA:88,44
FN:88,FHERC20.constructor
FNDA:44,FHERC20.constructor
DA:93,44
DA:94,44
DA:95,44
DA:97,44
DA:103,5
FN:103,FHERC20.isFherc20
FNDA:5,FHERC20.isFherc20
DA:104,5
DA:110,5
FN:110,FHERC20.name
FNDA:5,FHERC20.name
DA:111,5
DA:118,30
FN:118,FHERC20.symbol
FNDA:30,FHERC20.symbol
DA:119,30
DA:135,41
FN:135,FHERC20.decimals
FNDA:41,FHERC20.decimals
DA:136,41
DA:142,14
FN:142,FHERC20.totalSupply
FNDA:14,FHERC20.totalSupply
DA:143,14
DA:155,1
FN:155,FHERC20.balanceOfIsIndicator
FNDA:1,FHERC20.balanceOfIsIndicator
DA:156,1
DA:162,33
FN:162,FHERC20.indicatorTick
FNDA:33,FHERC20.indicatorTick
DA:163,33
DA:176,36
FN:176,FHERC20.balanceOf
FNDA:36,FHERC20.balanceOf
DA:177,36
DA:185,36
FN:185,FHERC20.encBalanceOf
FNDA:36,FHERC20.encBalanceOf
DA:188,36
DA:195,1
FN:195,FHERC20.transfer
FNDA:1,FHERC20.transfer
DA:196,1
DA:208,2
FN:208,FHERC20.encTransfer
FNDA:2,FHERC20.encTransfer
DA:212,2
DA:213,2
DA:214,2
DA:215,1
DA:224,1
FN:224,FHERC20.allowance
FNDA:1,FHERC20.allowance
DA:225,1
DA:234,1
FN:234,FHERC20.approve
FNDA:1,FHERC20.approve
DA:235,1
DA:242,1
FN:242,FHERC20.transferFrom
FNDA:1,FHERC20.transferFrom
DA:247,1
DA:260,12
FN:260,FHERC20.encTransferFrom
FNDA:12,FHERC20.encTransferFrom
DA:266,12
DA:267,1
BRDA:267,0,0,1
DA:269,11
DA:270,2
BRDA:270,1,0,2
DA:271,9
DA:272,1
BRDA:272,2,0,1
DA:274,8
DA:275,1
BRDA:275,3,0,1
DA:280,7
DA:291,7
DA:293,7
DA:294,7
BRDA:294,4,0,2
DA:295,2
DA:298,5
DA:300,5
DA:301,4
DA:314,7
FN:314,FHERC20._transfer
FNDA:7,FHERC20._transfer
DA:315,7
BRDA:315,5,0,-
DA:316,0
DA:318,7
BRDA:318,6,0,2
DA:319,2
DA:321,5
DA:327,23
FN:327,FHERC20._incrementIndicator
FNDA:23,FHERC20._incrementIndicator
DA:330,23
DA:331,7
DA:332,0
DA:338,8
FN:338,FHERC20._decrementIndicator
FNDA:8,FHERC20._decrementIndicator
DA:339,8
DA:340,8
DA:341,0
DA:354,26
FN:354,FHERC20._update
FNDA:26,FHERC20._update
DA:366,26
BRDA:366,11,0,8
DA:367,8
DA:374,26
BRDA:374,12,0,18
BRDA:374,12,1,8
DA:375,18
DA:377,8
DA:378,8
DA:383,26
BRDA:383,13,0,3
BRDA:383,13,1,23
DA:384,3
DA:386,23
DA:387,23
DA:393,26
BRDA:393,14,0,8
DA:394,8
DA:395,8
DA:396,8
DA:398,26
BRDA:398,15,0,23
DA:399,23
DA:400,23
DA:401,23
DA:404,26
DA:405,26
DA:416,19
FN:416,FHERC20._mint
FNDA:19,FHERC20._mint
DA:417,19
BRDA:417,16,0,1
DA:418,1
DA:420,18
DA:431,4
FN:431,FHERC20._burn
FNDA:4,FHERC20._burn
DA:432,4
BRDA:432,17,0,1
DA:433,1
DA:435,3
DA:447,12
FN:447,FHERC20.nonces
FNDA:12,FHERC20.nonces
DA:450,12
DA:457,12
FN:457,FHERC20.DOMAIN_SEPARATOR
FNDA:12,FHERC20.DOMAIN_SEPARATOR
DA:458,12
FNF:24
FNH:24
LF:100
LH:97
BRF:16
BRH:15
end_of_record
TN:
SF:src/FHERC20Upgradeable.sol
DA:86,0
FN:86,FHERC20Upgradeable._getFHERC20Storage
FNDA:0,FHERC20Upgradeable._getFHERC20Storage
DA:92,0
DA:110,0
FN:110,FHERC20Upgradeable.__FHERC20_init
FNDA:0,FHERC20Upgradeable.__FHERC20_init
DA:115,0
DA:116,0
DA:117,0
DA:118,0
DA:119,0
DA:120,0
DA:123,0
FN:123,FHERC20Upgradeable.__FHERC20_init_unchained
FNDA:0,FHERC20Upgradeable.__FHERC20_init_unchained
DA:128,0
FN:128,FHERC20Upgradeable.isFherc20
FNDA:0,FHERC20Upgradeable.isFherc20
DA:129,0
DA:135,0
FN:135,FHERC20Upgradeable.name
FNDA:0,FHERC20Upgradeable.name
DA:136,0
DA:137,0
DA:144,0
FN:144,FHERC20Upgradeable.symbol
FNDA:0,FHERC20Upgradeable.symbol
DA:145,0
DA:146,0
DA:162,0
FN:162,FHERC20Upgradeable.decimals
FNDA:0,FHERC20Upgradeable.decimals
DA:163,0
DA:164,0
DA:170,0
FN:170,FHERC20Upgradeable.totalSupply
FNDA:0,FHERC20Upgradeable.totalSupply
DA:171,0
DA:172,0
DA:184,0
FN:184,FHERC20Upgradeable.balanceOfIsIndicator
FNDA:0,FHERC20Upgradeable.balanceOfIsIndicator
DA:185,0
DA:191,0
FN:191,FHERC20Upgradeable.indicatorTick
FNDA:0,FHERC20Upgradeable.indicatorTick
DA:192,0
DA:193,0
DA:199,0
FN:199,FHERC20Upgradeable.balanceOf
FNDA:0,FHERC20Upgradeable.balanceOf
DA:200,0
DA:201,0
DA:209,0
FN:209,FHERC20Upgradeable.encBalanceOf
FNDA:0,FHERC20Upgradeable.encBalanceOf
DA:212,0
DA:213,0
DA:220,0
FN:220,FHERC20Upgradeable.transfer
FNDA:0,FHERC20Upgradeable.transfer
DA:221,0
DA:233,0
FN:233,FHERC20Upgradeable.encTransfer
FNDA:0,FHERC20Upgradeable.encTransfer
DA:237,0
DA:238,0
DA:239,0
DA:240,0
DA:249,0
FN:249,FHERC20Upgradeable.allowance
FNDA:0,FHERC20Upgradeable.allowance
DA:250,0
DA:259,0
FN:259,FHERC20Upgradeable.approve
FNDA:0,FHERC20Upgradeable.approve
DA:260,0
DA:267,0
FN:267,FHERC20Upgradeable.transferFrom
FNDA:0,FHERC20Upgradeable.transferFrom
DA:272,0
DA:285,0
FN:285,FHERC20Upgradeable.encTransferFrom
FNDA:0,FHERC20Upgradeable.encTransferFrom
DA:291,0
DA:292,0
BRDA:292,0,0,-
DA:294,0
DA:295,0
BRDA:295,1,0,-
DA:296,0
DA:297,0
BRDA:297,2,0,-
DA:299,0
DA:300,0
BRDA:300,3,0,-
DA:305,0
DA:316,0
DA:318,0
DA:319,0
BRDA:319,4,0,-
DA:320,0
DA:323,0
DA:325,0
DA:326,0
DA:339,0
FN:339,FHERC20Upgradeable._transfer
FNDA:0,FHERC20Upgradeable._transfer
DA:340,0
BRDA:340,5,0,-
DA:341,0
DA:343,0
BRDA:343,6,0,-
DA:344,0
DA:346,0
DA:352,0
FN:352,FHERC20Upgradeable._incrementIndicator
FNDA:0,FHERC20Upgradeable._incrementIndicator
DA:355,0
DA:356,0
DA:357,0
DA:363,0
FN:363,FHERC20Upgradeable._decrementIndicator
FNDA:0,FHERC20Upgradeable._decrementIndicator
DA:364,0
DA:365,0
DA:366,0
DA:379,0
FN:379,FHERC20Upgradeable._update
FNDA:0,FHERC20Upgradeable._update
DA:385,0
DA:393,0
BRDA:393,11,0,-
DA:394,0
DA:401,0
BRDA:401,12,0,-
BRDA:401,12,1,-
DA:402,0
DA:404,0
DA:405,0
DA:410,0
BRDA:410,13,0,-
BRDA:410,13,1,-
DA:411,0
DA:413,0
DA:414,0
DA:420,0
BRDA:420,14,0,-
DA:421,0
DA:422,0
DA:423,0
DA:425,0
BRDA:425,15,0,-
DA:426,0
DA:427,0
DA:428,0
DA:431,0
DA:432,0
DA:443,0
FN:443,FHERC20Upgradeable._mint
FNDA:0,FHERC20Upgradeable._mint
DA:444,0
BRDA:444,16,0,-
DA:445,0
DA:447,0
DA:458,0
FN:458,FHERC20Upgradeable._burn
FNDA:0,FHERC20Upgradeable._burn
DA:459,0
BRDA:459,17,0,-
DA:460,0
DA:462,0
DA:474,0
FN:474,FHERC20Upgradeable.nonces
FNDA:0,FHERC20Upgradeable.nonces
DA:477,0
DA:484,0
FN:484,FHERC20Upgradeable.DOMAIN_SEPARATOR
FNDA:0,FHERC20Upgradeable.DOMAIN_SEPARATOR
DA:485,0
FNF:26
FNH:0
LF:113
LH:0
BRF:16
BRH:0
end_of_record
TN:
SF:src/FUSD.sol
DA:13,0
FN:13,FUSD.__FUSD_init
FNDA:0,FUSD.__FUSD_init
DA:14,0
DA:15,0
DA:18,0
FN:18,FUSD.__FUSD_init_unchained
FNDA:0,FUSD.__FUSD_init_unchained
DA:20,0
FN:20,FUSD.mint
FNDA:0,FUSD.mint
DA:21,0
DA:22,0
BRDA:22,0,0,-
DA:24,0
DA:25,0
DA:28,0
FN:28,FUSD.redeem
FNDA:0,FUSD.redeem
DA:29,0
DA:30,0
BRDA:30,1,0,-
DA:32,0
DA:33,0
FNF:4
FNH:0
LF:14
LH:0
BRF:2
BRH:0
end_of_record
TN:
SF:src/RedactedCore.sol
DA:22,5
FN:22,RedactedCore.constructor
FNDA:5,RedactedCore.constructor
DA:23,5
DA:24,5
DA:33,3
FN:33,RedactedCore.updateStablecoin
FNDA:3,RedactedCore.updateStablecoin
DA:37,2
DA:40,2
FN:40,RedactedCore.getFherc20
FNDA:2,RedactedCore.getFherc20
DA:41,2
DA:44,2
FN:44,RedactedCore.getIsStablecoin
FNDA:2,RedactedCore.getIsStablecoin
DA:45,2
DA:48,1
FN:48,RedactedCore.getIsWETH
FNDA:1,RedactedCore.getIsWETH
DA:49,1
DA:52,2
FN:52,RedactedCore.updateFherc20Symbol
FNDA:2,RedactedCore.updateFherc20Symbol
DA:56,1
DA:59,6
FN:59,RedactedCore.deployFherc20
FNDA:6,RedactedCore.deployFherc20
DA:60,6
DA:61,1
BRDA:61,0,0,1
DA:63,1
BRDA:63,1,0,1
DA:64,4
BRDA:64,2,0,1
DA:66,3
DA:67,3
DA:69,3
FNF:7
FNH:7
LF:21
LH:21
BRF:3
BRH:3
end_of_record
TN:
SF:test/ERC20_Harness.sol
DA:12,22
FN:12,ERC20_Harness.constructor
FNDA:22,ERC20_Harness.constructor
DA:17,22
DA:20,21
FN:20,ERC20_Harness.decimals
FNDA:21,ERC20_Harness.decimals
DA:21,21
DA:24,3
FN:24,ERC20_Harness.mint
FNDA:3,ERC20_Harness.mint
DA:25,3
DA:28,0
FN:28,ERC20_Harness.burn
FNDA:0,ERC20_Harness.burn
DA:29,0
DA:36,2
FN:36,WETH_Harness.withdraw
FNDA:2,WETH_Harness.withdraw
DA:37,2
DA:38,2
DA:41,2
FN:41,WETH_Harness.deposit
FNDA:2,WETH_Harness.deposit
DA:42,2
FNF:6
FNH:5
LF:13
LH:11
BRF:0
BRH:0
end_of_record
TN:
SF:test/FHECounter.t.sol
DA:13,8
FN:13,ExampleFHECounter.setNumber
FNDA:8,ExampleFHECounter.setNumber
DA:14,8
DA:15,8
DA:18,1
FN:18,ExampleFHECounter.increment
FNDA:1,ExampleFHECounter.increment
DA:19,1
DA:20,1
DA:23,1
FN:23,ExampleFHECounter.add
FNDA:1,ExampleFHECounter.add
DA:24,1
DA:25,1
DA:28,1
FN:28,ExampleFHECounter.sub
FNDA:1,ExampleFHECounter.sub
DA:29,1
DA:30,1
DA:35,1
DA:36,1
DA:39,1
FN:39,ExampleFHECounter.mul
FNDA:1,ExampleFHECounter.mul
DA:40,1
DA:41,1
DA:44,1
FN:44,ExampleFHECounter.decrypt
FNDA:1,ExampleFHECounter.decrypt
DA:45,1
DA:48,1
FN:48,ExampleFHECounter.sealoutput
FNDA:1,ExampleFHECounter.sealoutput
DA:49,1
DA:52,1
FN:52,ExampleFHECounter.handleDecryptResult
FNDA:1,ExampleFHECounter.handleDecryptResult
DA:57,1
DA:60,1
FN:60,ExampleFHECounter.handleSealOutputResult
FNDA:1,ExampleFHECounter.handleSealOutputResult
DA:65,1
FNF:9
FNH:9
LF:25
LH:25
BRF:0
BRH:0
end_of_record
TN:
SF:test/FHERC20SigUtils.sol
DA:21,12
FN:21,FHERC20SigUtils.getStructHash
FNDA:12,FHERC20SigUtils.getStructHash
DA:24,12
DA:25,12
DA:38,12
FN:38,FHERC20SigUtils.getTypedDataHash
FNDA:12,FHERC20SigUtils.getTypedDataHash
DA:42,12
DA:43,12
FNF:2
FNH:2
LF:6
LH:6
BRF:0
BRH:0
end_of_record
TN:
SF:test/FHERC20_Harness.sol
DA:15,12
FN:15,FHERC20_Harness.mint
FNDA:12,FHERC20_Harness.mint
DA:16,12
DA:19,2
FN:19,FHERC20_Harness.burn
FNDA:2,FHERC20_Harness.burn
DA:20,2
FNF:2
FNH:2
LF:4
LH:4
BRF:0
BRH:0
end_of_record
TN:
SF:test/TestSetup.sol
DA:33,0
FN:33,TestSetup.initUsers
FNDA:0,TestSetup.initUsers
DA:34,23
DA:35,23
DA:36,23
DA:37,23
DA:38,23
DA:39,23
DA:40,23
DA:45,0
FN:45,TestSetup.label
FNDA:0,TestSetup.label
DA:46,23
DA:47,23
DA:48,23
DA:50,23
DA:51,23
DA:52,23
DA:53,23
DA:55,23
DA:57,23
DA:69,23
FN:69,TestSetup.setUp
FNDA:23,TestSetup.setUp
DA:70,23
DA:72,23
DA:74,23
DA:76,23
DA:78,23
DA:83,0
FN:83,TestSetup.formatWithDecimals
FNDA:0,TestSetup.formatWithDecimals
DA:88,36
BRDA:88,0,0,-
BRDA:88,0,1,36
DA:91,36
DA:92,36
DA:95,36
DA:96,36
DA:99,36
DA:100,36
DA:101,36
DA:103,36
BRDA:103,1,0,-
DA:104,0
DA:105,0
DA:108,36
BRDA:108,2,0,36
BRDA:108,2,1,-
DA:110,36
DA:111,36
DA:112,36
DA:113,36
DA:114,36
DA:115,78
DA:117,36
DA:118,36
DA:124,0
DA:125,0
DA:127,0
DA:128,0
DA:131,0
DA:133,0
DA:134,0
DA:137,0
DA:138,0
DA:144,0
FN:144,TestSetup.formatIndicatedValue
FNDA:0,TestSetup.formatIndicatedValue
DA:148,36
DA:153,0
FN:153,TestSetup._expectERC20Transfer
FNDA:0,TestSetup._expectERC20Transfer
DA:159,5
DA:160,5
DA:162,0
FN:162,TestSetup._expectFHERC20Transfer
FNDA:0,TestSetup._expectFHERC20Transfer
DA:167,14
DA:168,14
DA:171,0
FN:171,TestSetup._ticksToIndicated
FNDA:0,TestSetup._ticksToIndicated
DA:175,18
DA:181,0
FN:181,TestSetup._prepExpectFHERC20BalancesChange
FNDA:0,TestSetup._prepExpectFHERC20BalancesChange
DA:185,18
DA:186,18
DA:187,18
DA:189,0
FN:189,TestSetup._expectFHERC20BalancesChange
FNDA:0,TestSetup._expectFHERC20BalancesChange
DA:195,18
DA:196,18
DA:199,18
DA:211,18
DA:212,18
DA:213,18
DA:216,18
DA:231,0
FN:231,TestSetup._prepExpectERC20BalancesChange
FNDA:0,TestSetup._prepExpectERC20BalancesChange
DA:235,5
DA:237,0
FN:237,TestSetup._expectERC20BalancesChange
FNDA:0,TestSetup._expectERC20BalancesChange
DA:242,5
DA:243,5
DA:245,5
DA:258,0
FN:258,TestSetup.generateTransferFromPermit
FNDA:0,TestSetup.generateTransferFromPermit
DA:267,12
DA:275,12
DA:280,12
DA:282,12
DA:293,0
FN:293,TestSetup.generateTransferFromPermit
FNDA:0,TestSetup.generateTransferFromPermit
DA:300,10
FNF:14
FNH:1
LF:89
LH:65
BRF:5
BRH:2
end_of_record