-
Notifications
You must be signed in to change notification settings - Fork 15
/
out_of_scope.txt
90 lines (90 loc) · 3.12 KB
/
out_of_scope.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
./script/Addresses.sol
./script/BaseScript.sol
./script/BuyCreditLimit.s.sol
./script/BuyCreditMarket.s.sol
./script/Claim.s.sol
./script/Compensate.s.sol
./script/Deploy.s.sol
./script/Deploy.sol
./script/DepositUSDC.s.sol
./script/DepositWETH.s.sol
./script/GetUserView.s.sol
./script/GrantRole.s.sol
./script/Liquidate.s.sol
./script/LiquidateWithReplacement.s.sol
./script/Ownable.s.sol
./script/Repay.s.sol
./script/SellCreditLimit.s.sol
./script/UpdateConfig.s.sol
./src/interfaces/IMulticall.sol
./src/interfaces/ISize.sol
./src/interfaces/ISizeAdmin.sol
./src/interfaces/ISizeView.sol
./src/interfaces/IWETH.sol
./test/BaseTest.sol
./test/BaseTestVariablePool.sol
./test/Logger.sol
./test/fork/Deploy.t.sol
./test/fork/ForkTest.sol
./test/helpers/AssertsHelper.sol
./test/helpers/libraries/YieldCurveHelper.sol
./test/invariants/Bounds.sol
./test/invariants/CryticTester.sol
./test/invariants/CryticToFoundry.t.sol
./test/invariants/ExpectedErrors.sol
./test/invariants/FoundryTester.sol
./test/invariants/Ghosts.sol
./test/invariants/Helper.sol
./test/invariants/Properties.sol
./test/invariants/PropertiesSpecifications.sol
./test/invariants/TargetFunctions.sol
./test/invariants/interfaces/ITargetFunctions.sol
./test/libraries/Math.t.sol
./test/libraries/OfferLibrary.t.sol
./test/libraries/WadRayMath.t.sol
./test/libraries/YieldCurveLibrary.t.sol
./test/local/actions/BuyCreditLimit.t.sol
./test/local/actions/BuyCreditLimitValidation.t.sol
./test/local/actions/BuyCreditMarket.t.sol
./test/local/actions/BuyCreditMarketValidation.t.sol
./test/local/actions/Claim.t.sol
./test/local/actions/ClaimValidation.t.sol
./test/local/actions/Compensate.t.sol
./test/local/actions/CompensateValidation.t.sol
./test/local/actions/Deposit.t.sol
./test/local/actions/DepositValidation.t.sol
./test/local/actions/Initialize.t.sol
./test/local/actions/InitializeValidation.t.sol
./test/local/actions/Liquidate.t.sol
./test/local/actions/LiquidateValidation.t.sol
./test/local/actions/LiquidateWithReplacement.t.sol
./test/local/actions/LiquidateWithReplacementValidation.t.sol
./test/local/actions/Multicall.t.sol
./test/local/actions/Pause.t.sol
./test/local/actions/Repay.t.sol
./test/local/actions/RepayValidation.t.sol
./test/local/actions/SelfLiquidate.t.sol
./test/local/actions/SelfLiquidateValidation.t.sol
./test/local/actions/SellCreditLimit.t.sol
./test/local/actions/SellCreditLimitValidation.t.sol
./test/local/actions/SellCreditMarket.t.sol
./test/local/actions/SellCreditMarketValidation.t.sol
./test/local/actions/SetUserConfiguration.t.sol
./test/local/actions/SetUserConfigurationValidation.t.sol
./test/local/actions/SizeView.t.sol
./test/local/actions/UpdateConfig.t.sol
./test/local/actions/UpdateConfigValidation.t.sol
./test/local/actions/Upgrade.t.sol
./test/local/actions/Withdraw.t.sol
./test/local/actions/WithdrawValidation.t.sol
./test/local/oracle/PriceFeed.t.sol
./test/local/token/NonTransferrableScaledToken.t.sol
./test/local/token/NonTransferrableToken.t.sol
./test/mocks/DAI.sol
./test/mocks/MockAavePool.sol
./test/mocks/PoolMock.sol
./test/mocks/PriceFeedMock.sol
./test/mocks/SizeMock.sol
./test/mocks/USDC.sol
./test/mocks/WETH.sol
./test/mocks/YAMv2.sol