-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat: convert kontrol tests #53
base: feat/symbolic-testing
Are you sure you want to change the base?
Commits on Aug 15, 2024
-
chore: configure medusa with basic supERC20 self-bridging
- used --foundry-compile-all to ensure the test contract under `test/properties` is compiled (otherwise it is not compiled and medusa crashes when it can't find it's compiled representation) - set src,test,script to test/properties/medusa to not waste time compiling contracts that are not required for the medusa campaign - used an atomic bridge, which doesnt allow for testing of several of the proposed invariants
Configuration menu - View commit details
-
Copy full SHA for 73236b4 - Browse repository at this point
Copy the full SHA 73236b4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6f386a5 - Browse repository at this point
Copy the full SHA 6f386a5View commit details -
Configuration menu - View commit details
-
Copy full SHA for e8d42b8 - Browse repository at this point
Copy the full SHA e8d42b8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 326366b - Browse repository at this point
Copy the full SHA 326366bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7a66ae6 - Browse repository at this point
Copy the full SHA 7a66ae6View commit details -
Configuration menu - View commit details
-
Copy full SHA for fa4cf29 - Browse repository at this point
Copy the full SHA fa4cf29View commit details -
test: guide the fuzzer a little bit less
previously: initial mint, bound on transfer amount: 146625 calls in 200s now: no initial mint, no bound on transfer amount: 176835 calls in 200s it doesn't seem to slow the fuzzer down
Configuration menu - View commit details
-
Copy full SHA for 8173ee7 - Browse repository at this point
Copy the full SHA 8173ee7View commit details -
Configuration menu - View commit details
-
Copy full SHA for ec29415 - Browse repository at this point
Copy the full SHA ec29415View commit details -
Configuration menu - View commit details
-
Copy full SHA for 75f6977 - Browse repository at this point
Copy the full SHA 75f6977View commit details -
Configuration menu - View commit details
-
Copy full SHA for d761fa9 - Browse repository at this point
Copy the full SHA d761fa9View commit details
Commits on Aug 16, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 51a72e3 - Browse repository at this point
Copy the full SHA 51a72e3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 745dcbc - Browse repository at this point
Copy the full SHA 745dcbcView commit details
Commits on Aug 19, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 07ca17e - Browse repository at this point
Copy the full SHA 07ca17eView commit details -
Configuration menu - View commit details
-
Copy full SHA for f23d8ff - Browse repository at this point
Copy the full SHA f23d8ffView commit details -
Configuration menu - View commit details
-
Copy full SHA for 590a3ba - Browse repository at this point
Copy the full SHA 590a3baView commit details -
Configuration menu - View commit details
-
Copy full SHA for 51bf7fd - Browse repository at this point
Copy the full SHA 51bf7fdView commit details
Commits on Aug 20, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 79bf5e5 - Browse repository at this point
Copy the full SHA 79bf5e5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6e13fd2 - Browse repository at this point
Copy the full SHA 6e13fd2View commit details
Commits on Aug 21, 2024
-
Merge pull request #19 from defi-wonderland/chore/setup-medusa
Chore: setup medusa + 1 basic fuzz scenario
Configuration menu - View commit details
-
Copy full SHA for 407cc76 - Browse repository at this point
Copy the full SHA 407cc76View commit details
Commits on Aug 23, 2024
-
feat: halmos symbolic tests (#21)
* feat: introduce OptimismSuperchainERC20 * fix: contract fixes * feat: add snapshots and semver * test: add supports interface tests * test: add invariant test * feat: add parameters to the RelayERC20 event * fix: typo * fix: from param description * fix: event signature and interface pragma * feat: add initializer * feat: use unstructured storage and OZ v5 * feat: update superchain erc20 interfaces * fix: adapt storage to ERC7201 * test: add initializable OZ v5 test * fix: invariant docs * fix: ERC165 implementation * test: improve superc20 invariant (#11) * fix: gas snapshot * chore: configure medusa with basic supERC20 self-bridging - used --foundry-compile-all to ensure the test contract under `test/properties` is compiled (otherwise it is not compiled and medusa crashes when it can't find it's compiled representation) - set src,test,script to test/properties/medusa to not waste time compiling contracts that are not required for the medusa campaign - used an atomic bridge, which doesnt allow for testing of several of the proposed invariants * fix: delete dead code * test: give the fuzzer a head start * feat: create suite for sybolic tests with halmos * test: setup and 3 properties with symbolic tests * chore: remove todo comment * docs: fix properties order * test: document & implement assertions 22, 23 and 24 * fix: fixes from self-review * test: guide the fuzzer a little bit less previously: initial mint, bound on transfer amount: 146625 calls in 200s now: no initial mint, no bound on transfer amount: 176835 calls in 200s it doesn't seem to slow the fuzzer down * feat: add property for burn * refactor: remove symbolic address on mint property * refactor: order the tests based on the property id * feat: checkpoint * chore: set xdomain sender on failing test * chore: enhance mocks * Revert "Merge branch 'chore/setup-medusa' into feat/halmos-symbolic-tests" This reverts commit 945d6b6, reversing changes made to 5dcb3a8. * refactor: remove symbolic addresses to make all of the test work * chore: remove console logs * feat: add properties file * chore: polish * refactor: enhance test on property 7 using direct try catch (now works) * fix: review comments * refactor: add symbolic addresses on test functions * feat: create halmos toml * chore: polish test contract and mock * chore: update property * refactor: move symbolic folder into properties one * feat: create advanced tests helper contract * refactor: enhance tests using symbolic addresses instead of concrete ones * chore: remove 0 property natspec * feat: add halmos profile and just script * chore: rename symbolic folder to halmos * feat: add halmos commands to justfile * chore: reorder assertions on one test * refactor: complete test property seven * chore: mark properties as completed * chore: add halmos-cheatcodes dependency * chore: rename advancedtest->halmosbase * chore: minimize mocked messenger * chore: delete empty halmos file * chore: revert changes to medusa.json * docs: update changes to PROPERTIES.md from base branch * test: sendERC20 destination fix * chore: natspec fixes --------- Co-authored-by: agusduha <[email protected]> Co-authored-by: 0xng <[email protected]> Co-authored-by: teddy <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 7e6fdbc - Browse repository at this point
Copy the full SHA 7e6fdbcView commit details
Commits on Aug 26, 2024
-
feat: test properties 22 and 23
* refactor: allow for atomicity on mock messenger * refactor: cross domain sender logic on mock messenger * refactor: l2 to l2 caller and messenge sender logic * chore: remove assumes for removed checks on mock messenger
Configuration menu - View commit details
-
Copy full SHA for 773a1d8 - Browse repository at this point
Copy the full SHA 773a1d8View commit details
Commits on Aug 29, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 8c4e7c6 - Browse repository at this point
Copy the full SHA 8c4e7c6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8b379dc - Browse repository at this point
Copy the full SHA 8b379dcView commit details
Commits on Sep 1, 2024
-
Configuration menu - View commit details
-
Copy full SHA for c29990e - Browse repository at this point
Copy the full SHA c29990eView commit details
Commits on Sep 2, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 2934238 - Browse repository at this point
Copy the full SHA 2934238View commit details -
Revert "fix(test): init glob var in state diff generator"
The changes are no longer needed since with the constructor args flag it works This reverts commit 2934238.
Configuration menu - View commit details
-
Copy full SHA for 98e443a - Browse repository at this point
Copy the full SHA 98e443aView commit details
Commits on Sep 3, 2024
-
chore: update setup on kontrol tests and add assumes
* feat: create temporary file to debug symoblic tests with foundry
Configuration menu - View commit details
-
Copy full SHA for 8307536 - Browse repository at this point
Copy the full SHA 8307536View commit details -
Configuration menu - View commit details
-
Copy full SHA for e40c1c1 - Browse repository at this point
Copy the full SHA e40c1c1View commit details
Commits on Sep 4, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 342f33f - Browse repository at this point
Copy the full SHA 342f33fView commit details
Commits on Sep 5, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 79158b8 - Browse repository at this point
Copy the full SHA 79158b8View commit details -
chore: remove event, add a boolean and update cross domain sender vis…
…ibility on mock messenger
Configuration menu - View commit details
-
Copy full SHA for dc0c2c4 - Browse repository at this point
Copy the full SHA dc0c2c4View commit details -
Configuration menu - View commit details
-
Copy full SHA for befba99 - Browse repository at this point
Copy the full SHA befba99View commit details -
Configuration menu - View commit details
-
Copy full SHA for 498f85f - Browse repository at this point
Copy the full SHA 498f85fView commit details
Commits on Sep 6, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 51efcda - Browse repository at this point
Copy the full SHA 51efcdaView commit details -
Configuration menu - View commit details
-
Copy full SHA for d89717f - Browse repository at this point
Copy the full SHA d89717fView commit details
Commits on Sep 7, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d6d46da - Browse repository at this point
Copy the full SHA d6d46daView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6b83938 - Browse repository at this point
Copy the full SHA 6b83938View commit details -
Configuration menu - View commit details
-
Copy full SHA for b4dd8df - Browse repository at this point
Copy the full SHA b4dd8dfView commit details
Commits on Sep 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 9633e79 - Browse repository at this point
Copy the full SHA 9633e79View commit details -
Configuration menu - View commit details
-
Copy full SHA for f6a03ef - Browse repository at this point
Copy the full SHA f6a03efView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a9b8bd - Browse repository at this point
Copy the full SHA 6a9b8bdView commit details
Commits on Sep 10, 2024
-
Configuration menu - View commit details
-
Copy full SHA for b6a4b94 - Browse repository at this point
Copy the full SHA b6a4b94View commit details -
Configuration menu - View commit details
-
Copy full SHA for a9b3050 - Browse repository at this point
Copy the full SHA a9b3050View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8e39079 - Browse repository at this point
Copy the full SHA 8e39079View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6342513 - Browse repository at this point
Copy the full SHA 6342513View commit details -
Configuration menu - View commit details
-
Copy full SHA for 763a538 - Browse repository at this point
Copy the full SHA 763a538View commit details -
Configuration menu - View commit details
-
Copy full SHA for 113bb45 - Browse repository at this point
Copy the full SHA 113bb45View commit details
Commits on Sep 11, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 16d1975 - Browse repository at this point
Copy the full SHA 16d1975View commit details -
Configuration menu - View commit details
-
Copy full SHA for ccfa037 - Browse repository at this point
Copy the full SHA ccfa037View commit details
Commits on Sep 12, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e39284c - Browse repository at this point
Copy the full SHA e39284cView commit details
Commits on Sep 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 413ae97 - Browse repository at this point
Copy the full SHA 413ae97View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8fac159 - Browse repository at this point
Copy the full SHA 8fac159View commit details -
feat: write test for property 5
* refactor: update setup * chore: create optimism superchain erc20 mock contract with compatible compiler version * refactor: update 3 and 4 properties tests
Configuration menu - View commit details
-
Copy full SHA for 984947c - Browse repository at this point
Copy the full SHA 984947cView commit details
Commits on Sep 16, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 9c914ef - Browse repository at this point
Copy the full SHA 9c914efView commit details -
Configuration menu - View commit details
-
Copy full SHA for d0fc92b - Browse repository at this point
Copy the full SHA d0fc92bView commit details -
Configuration menu - View commit details
-
Copy full SHA for a4d6cd1 - Browse repository at this point
Copy the full SHA a4d6cd1View commit details
Commits on Sep 17, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 602589f - Browse repository at this point
Copy the full SHA 602589fView commit details -
Configuration menu - View commit details
-
Copy full SHA for b714f0e - Browse repository at this point
Copy the full SHA b714f0eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 289370d - Browse repository at this point
Copy the full SHA 289370dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 28d1e71 - Browse repository at this point
Copy the full SHA 28d1e71View commit details
Commits on Sep 19, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e0dc0d3 - Browse repository at this point
Copy the full SHA e0dc0d3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1278f03 - Browse repository at this point
Copy the full SHA 1278f03View commit details -
Configuration menu - View commit details
-
Copy full SHA for e2a25c7 - Browse repository at this point
Copy the full SHA e2a25c7View commit details