test: add new logic tests to echidna (#136)

test/SUMMARY.md

@@ -18,7 +18,7 @@ Current coverage is 100% of the branches for the 7 contracts, across 121 tests (
 ## Integration Tests
 The integration tests are implemented by switching between 3 different forks: mainnet, Optimism and Base. Crosschain messaging is achieved via the ICrossDomainMessenger contracts already deployed on the 3 chains (see IntegrationBase.sol).
 
-The setup deploys the factory on mainnet, then proceed to deploy the L1 adapters and L2 factories and adapters on both Optimism and Base. Initial tests are conducted to both insure deployment addresses never collide if there are multiple deployments on a given chain, as well as to ensure correct deployment on the multiple chains.
+The setup deploys the factory on mainnet, then proceed to deploy the L1 adapters and L2 factories and adapters on both Optimism and Base. Initial tests are conducted to both ensure deployment addresses never collide if there are multiple deployments on a given chain, as well as to ensure correct deployment on the multiple chains.
 
 The rest of the integration tests are then conducted from/to mainnet to/from optimism only (given the reassurance of the functional equivalece based on the initial setup tests).
 

test/invariants/PROPERTIES.md

@@ -1,7 +1,7 @@
 | Properties                                                                                                  | Type                | Id  | Fuzz | Symb |
 | ----------------------------------------------------------------------------------------------------------- | ------------------- | --- | ---- | ---- |
 | New messages should not be sent if the state is not active                                                  | Unit test           | 1   | [X]  | [x]  |
-| User who bridges tokens should receive them on the destination chain                                        | High level          | 2   | [X]  | [x]  |
+| Non blacklisted addresses are enabled to send and receive tokens through the bridge                         | High level          | 2   | [X]  | [x]  |
 | Assuming the adapter is the only minter the amount locked in L1 should always equal the amount minted on L2 | High level          | 3   | [X]  | [x]  |
 | Both messenger's state or if they can send messages should match                                            | Valid state         | 4   | depr | depr |
 | user nonce should be monotonically increasing                                                               | Variable transition | 5   | depr | depr |
@@ -18,8 +18,9 @@
 | Protocols deployed on one L2 should never have a matching address with a protocol on a different L2         | High level          | 16  | [X]  | :(   |
 | USDC proxy admin and token ownership rights can only be transferred during the migration to native flow     | High level          | 17  | [X]  |      |
 | Status should either be active, paused, upgrading or deprecated                                             | Valid state         | 18  | [X]  |      |
-| All addresses precomputed in the factory match the deployed addresses / L1 nonce == L2 factory nonce        | Variable transition |     | depr | depr |
-| Adapters can't be initialized twice                                                                         | State transition    | 19  | [X]  | [X]  |
+| All addresses precomputed in the factory match the deployed addresses / L1 nonce == L2 factory nonce        | Variable transition |     | depr | depr | 
+| Adapters can't be initialized twice                                                                         | State transition    | 19  | [X]  |      |
+| Refunds from l2 to l1 should only be possible if the l2 adapter is deprecated                               | State transition    | 20  | [X]  |      |
 
 [] planed to implement and still to do
 [x] implemented and tested

test/invariants/fuzz/MockBridge.sol

@@ -38,6 +38,10 @@ contract MockBridge is ITestCrossDomainMessenger {
     _paused = true;
   }
 
+  function resumeMessaging() external {
+    _paused = false;
+  }
+
   function setDomainMessageSender(address _sender) external {
     _currentXDomSender = _sender;
   }

test/invariants/fuzz/corpus/coverage/1065041070495096404.txt

@@ -0,0 +1 @@
+[{"call":{"contents":["fuzz_PauseMessaging",[{"contents":[32,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["fuzz_receiveMessageIfNotActiveL1",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"48737772354088458599020253629391270308289"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["fuzz_receiveMessageIfNotActiveL2",[{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]

test/invariants/fuzz/corpus/coverage/1108423542712376155.txt

@@ -0,0 +1 @@
+[{"call":{"contents":["generateCallAdapterL1",[{"contents":[256,"5211641944656826461068326765685523497512509038"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["fuzz_receiveMessageIfNotActiveL2",[{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]

test/invariants/fuzz/corpus/coverage/1289023748884983941.txt

@@ -0,0 +1 @@
+[{"call":{"contents":["generateCallAdapterL1",[{"contents":[256,"23239597061150803027590171168654134814307615440225235596988243062"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"118049413901189801223216"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[256,"129884654735485523255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["fuzz_receiveMessageIfNotActiveL2",[{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"58169092309535119807712516041865208195132772347394114662969573819282357051940"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]

test/invariants/fuzz/corpus/coverage/1588490530875186882.txt

@@ -0,0 +1 @@
+[{"call":{"contents":["generateCallAdapterL1",[{"contents":[256,"105392457716254870666045192755702354904934296235380029929036340504883"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"41274240735446951836491966566521480"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[256,"45582729948689934780420209215077106364103707931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["generateCallUSDCL1",[{"contents":[256,"4"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"114011051263325073877068800930623256"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["generateCallUSDCL1",[{"contents":[256,"7553922988295088131409588560909589007816455947414888856745373965487894420"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"2704341884247954927050666198852596976924"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["fuzz_receiveMessageIfNotActiveL2",[{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]

test/invariants/fuzz/corpus/coverage/159412877644710021.txt

@@ -0,0 +1 @@
+[{"call":{"contents":["generateCallUSDCL1",[{"contents":[256,"4"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"776167459903810216507144129969009007970252"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["fuzz_noSignedMessageIfNotActiveL1",[{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[256,"862057980859067923777618056"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[256,"6717145993494736604902337642860099"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["generateCallAdapterL1",[{"contents":[256,"27689015930255474733336439150500538524839727301480286626984605221670076387"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"9364595983379166435830139260176062150929708312609523479451060921"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[256,"129230854998439212507480268217345779090643517811624086121189992980"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["generateCallUSDCL1",[{"contents":[256,"45478615602186214727699341709801089328079741811717624097924161001597954376806"],"tag":"AbiUInt"},{"contents":"0x0C7BBB021d72dB4FfBa37bDF4ef055eECdbc0a29","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"977745444038627950650086801585234737767220237535599298620443399"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["fuzz_BurnLockedUSDC",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]

test/invariants/fuzz/corpus/coverage/2640682229788668898.txt

@@ -0,0 +1 @@
+[{"call":{"contents":["generateCallUSDCL1",[{"contents":[256,"4"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"49400912355726503900748379932316306074"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["generateCallUSDCL1",[{"contents":[256,"18189058864264494308762726276431008289187179165928757410057108580136204042"],"tag":"AbiUInt"},{"contents":"0x0C7BBB021d72dB4FfBa37bDF4ef055eECdbc0a29","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"389025656990173827911293347444392961973918469337477177791"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["fuzz_noSignedMessageIfNotActiveL1",[{"contents":"0x00000000000000000000000000000000DeaDBeef","tag":"AbiAddress"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[32,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]