Skip to content
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.

Sign up for GitHub

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

Jump to bottom

feat: advanced tests #67

Merged
merged 86 commits into from
Jul 11, 2024
Merged

feat: advanced tests #67

merged 86 commits into from
Jul 11, 2024

Conversation

drgorillamd
Copy link
Member

@drgorillamd drgorillamd commented Jun 24, 2024 •
edited
Loading

🤖 Linear

Closes OPT-XXX

════════════════════███████
═══════════════════█████████
══════════════════███████████
═════════════════███░░███░░███
════════════════███░░░░█░░░░░██
════════════█████░░░███████░░░████
═══════════█░░░████░█░█░█░█░███░░░█
═══════════█░░░███░░███░███░░██░░░█
═════════███░░░███░░░░░░░░░░░██░░░███
═════════█████░░░░░░░░███░░░░░░░█████
═══════██████░░░░░░░░░░░░░░░░░░░░██████
══════███████░░░░█████████████░░░███████
═══██████████░░░█░░░░░░░░░░░░░█░░████████
══██████████████░░░░░░░░░░░░░░░██████████
═███████████████░░░░░░░░░░░░░░░███████████
═█████████████████░░░░░░░░░░░░█████████████
═██████████████████░░░░░░░░░░██████████████
═██████████████████████████████████████████
═██████████████░░░██████████░░░████████████
══█████████████░░░░░░████░░░░░░████████████
═══█████████████░█░░░░██░░░░█░████████████
════█████████████░░░░░██░░░░░████████████
══════██████████░█░░░░██░░░░█░██████████
════════████████░█░░░░░░░░░░█░████████
═══════████████░░░░░░█░░█░░░░░░████████
═══════██████████████░░░░██████████████
══════███████████░░░░░░░░░░░░███████████
════█████████████░░░░█░█░░░░░████████████
═══███████████████░░█░█░█░░░██████████████
═══███████████████████████████████████████
═══███████████████████████████████████████
═══████████████████════════███████████████
════█████████████════════════████████████
════████████████══════════════███████████
═████░░███░░░██═══════════════██░░░███░░████
█░░░░░█░░░░██░█═══════════════█░██░░░░█░░░░░█
██████████████═════════════════██████████████

drgorillamd and others added 30 commits June 19, 2024 13:19
@drgorillamd
chore: additional properties
42cce0e
@drgorillamd
feat: echidna setup (maybe)
fa38fe8
@drgorillamd
chore: single side fork (optimism for c2)
a9cea0e
@drgorillamd
Merge branch 'dev' into feat/adv-tests
0373cd2
@drgorillamd
Merge branch 'dev' into feat/adv-tests
5d800ac
@drgorillamd
fix: echidna setup
b1c3804
@drgorillamd
fix: typo and create2 collision
5bc8384
@drgorillamd
feat: i have seen the matrix and there is no spoon
be511d5
@drgorillamd
fix: spoon bending intensify
9c4c661
@drgorillamd
feat: xdomsender fuzz
c12bdf2
@drgorillamd
feat: l1 status test
fd118f8
@drgorillamd
feat: l1 status
ae56451
@hexshire
test: l2 send message
ae58227
@drgorillamd
style: style
706abb4
@drgorillamd
Merge branch 'dev' into feat/adv-tests
afff020
@drgorillamd
fix: v bump compat
fe5c0a1
@hexshire
refactor: l2 send message test
6c4a2cb
@drgorillamd
Merge branch 'dev' into feat/adv-tests
652c09e
@drgorillamd
feat: test3
9de5980
@drgorillamd
feat: bridge direct call and new prop
0aef19e
@hexshire
Merge branch 'feat/adv-tests' of github.com:defi-wonderland/opUSDC in…
3c4f8b7 
…to feat/adv-tests
@drgorillamd
chore: refactor
cf8b720
@drgorillamd
Merge commit '3c4f8b723f341b8dbb5e06425372bc91ba5fc468' into feat/adv…
e3f0c68 
…-tests
@hexshire
test: burn locked usdc
8b7d503
@hexshire
Merge branch 'feat/adv-tests' of github.com:defi-wonderland/opUSDC in…
3eb4ef3 
…to feat/adv-tests
@hexshire
Merge branch 'dev' into feat/adv-tests
df09e5b
@hexshire
chore: update doc
a10acb2
@hexshire
chore: remove corpus
b52c946
@hexshire
test: stop messaging
5c1dada
@hexshire
test: add more tests
0753146
hexshire and others added 25 commits July 4, 2024 16:17
@hexshire
Merge branch 'dev' into feat/adv-tests
20b7dd7
@drgorillamd
test(halmos): last properties
bc4e0b1
@hexshire
test(echidna): ownership transfer test
b447683
@hexshire
Merge branch 'feat/adv-tests' of github.com:defi-wonderland/opUSDC in…
1aa0fa6 
…to feat/adv-tests
@hexshire
fix: properties file
0ecf56e
@drgorillamd
feat: calldata gen for usdc
ccf1aa5
@drgorillamd
chore: properties md legend
3d57489
@drgorillamd
fix: l1adapter minter
e7f4380
@drgorillamd
fix: master minter blessing
b6a3a72
@drgorillamd
fix(halmos): l1adapter can burn
a4fd5d3
@hexshire
test(echidna): corpus and fix test
39ec152
@hexshire
test(echidna): update corpus
3700d50
@hexshire
test(echidna): update corpus
25c077c
@drgorillamd
fix: prop 2
e1a99fd
@drgorillamd
fix: clamp amount to mint
e783d82
@hexshire
test(echidna): fix burn locked usdc test
7c61a70
@hexshire
Merge branch 'feat/adv-tests' of github.com:defi-wonderland/opUSDC in…
3c1004f 
…to feat/adv-tests
@drgorillamd
feat: clamp
8038018
@hexshire
test(echidna): refactor but on test fails
23230b7
@hexshire
test(echidna): fix multi call migration test
5642218
@drgorillamd
chore: summary wip
6ff269b
@drgorillamd
chore: some refactor and no allContracts
3aa8bff
@drgorillamd
chore: typos
6da0619
@drgorillamd
chore: yarn & typos
cc9f32e
@drgorillamd
chore: doc
d26233e
@drgorillamd drgorillamd marked this pull request as ready for review July 11, 2024 11:35
@excaliborr excaliborr merged commit c08ee2a into dev Jul 11, 2024
4 checks passed
@excaliborr excaliborr deleted the feat/adv-tests branch July 11, 2024 11:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@excaliborr excaliborr excaliborr approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@drgorillamd @excaliborr @hexshire