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.

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

💥 Add echidna-Based Property Tests #239

Merged
merged 32 commits into from
Apr 25, 2024
Merged
Changes from 1 commit
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
0e3b4fe
forge install: properties
pcaversaccio Apr 22, 2024
f6e2382
💥 Add `echidna` Property Tests
pcaversaccio Apr 22, 2024
f37ef18
♻️ Fix typo
pcaversaccio Apr 22, 2024
7b61d2b
♻️ Fix CI for Tests
pcaversaccio Apr 22, 2024
b6f03d2
♻️ Fix paths
pcaversaccio Apr 22, 2024
ed212e7
♻️ Testing Path
pcaversaccio Apr 22, 2024
5f72b3f
♻️ Fix relative path
pcaversaccio Apr 22, 2024
2d326da
♻️ add solc version
pcaversaccio Apr 22, 2024
6dc9681
♻️ set solc version
pcaversaccio Apr 22, 2024
7ac5803
♻️ FML
pcaversaccio Apr 22, 2024
8702ff5
♻️ FML2
pcaversaccio Apr 22, 2024
8f8241f
♻️ FML3
pcaversaccio Apr 22, 2024
b0a89e7
♻️ FML4
pcaversaccio Apr 22, 2024
bee476e
♻️ FML5
pcaversaccio Apr 22, 2024
19d3009
♻️ Starting Fix
pcaversaccio Apr 23, 2024
326ea59
♻️ Test
pcaversaccio Apr 23, 2024
a078f91
♻️ Uncomment shit
pcaversaccio Apr 23, 2024
e8f93ea
♻️ LFG
pcaversaccio Apr 23, 2024
3c027d7
♻️ Add Missing `CryticERC20ExternalMintableProperties` Property
pcaversaccio Apr 23, 2024
25a8696
♻️ Refactor
pcaversaccio Apr 23, 2024
a748cbe
♻️ Add Missing `CryticERC721ExternalMintableProperties` Property
pcaversaccio Apr 23, 2024
ac8daa3
♻️ Refactor `compile` Script
pcaversaccio Apr 23, 2024
26a7347
♻️ Add Missing `CryticERC20ExternalMintableProperties` Property
pcaversaccio Apr 23, 2024
8294fd3
♻️ Refactor of `ERC721Mock`
pcaversaccio Apr 23, 2024
0d6889f
♻️ Fix `stderr` Warnings in Vyper & Exclude `VyperDeployer` From Fuz…
pcaversaccio Apr 24, 2024
27b6587
♻️ Add `.gas-snapshot`
pcaversaccio Apr 24, 2024
21c6cd2
📖 Add `CHANGELOG` and `README` Comments
pcaversaccio Apr 24, 2024
c87f89d
📖 Combine Notes
pcaversaccio Apr 24, 2024
41a9157
📖 wording
pcaversaccio Apr 24, 2024
bdbffe4
📖 wording
pcaversaccio Apr 24, 2024
d7e5015
Merge branch 'modules' into feat/echidna
pcaversaccio Apr 24, 2024
91a5890
📖 Fix `CHANGELOG` Link
pcaversaccio Apr 25, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
forge install: properties
v1.0.0
pcaversaccio committed Apr 22, 2024
commit 0e3b4fe64659c81f9b0393650828eed852ca0ef1
3 changes: 3 additions & 0 deletions .gitmodules
Original file line number Diff line number Diff line change
@@ -25,3 +25,6 @@
[submodule "lib/openzeppelin-contracts"]
path = lib/openzeppelin-contracts
url = https://github.com/OpenZeppelin/openzeppelin-contracts.git
[submodule "lib/properties"]
path = lib/properties
url = https://github.com/crytic/properties
1 change: 1 addition & 0 deletions lib/properties
Submodule properties added at bb1b78