Commit Graph

297 Commits (m1-builds-github)

Author SHA1 Message Date
Gustavo Grieco e3c25b6b13
fix test (#726) 3 years ago
Gustavo Grieco 31034fbf8d
Echidna 2.0 (#716) 3 years ago
Artur Cygan d1ae6bac6c
Fix incorrect function filtering when using assertion mode (#695) 3 years ago
Artur Cygan 25dfdad93d
Fix source printing and update hevm to 0.47.0 (#678) 3 years ago
Artur Cygan 4aeffd4baa
Update hevm to 0.46.0 (#660) 3 years ago
Gustavo Grieco f8b4bdccbc
Update Integration.hs (#667) 4 years ago
Artur Cygan 0a604ff565
Fix check-asserts and multi-abi cli switches (#665) 4 years ago
Artur Cygan cf40c27770
Additional CLI options (#664) 4 years ago
Gustavo Grieco e531f05514
Automatically initialize addresses when used (#657) 4 years ago
Artur Cygan 31e7961e57
New CLI options: --corpus-dir and --check-asserts (#640) 4 years ago
Gustavo Grieco 85f3318da4
First step to refactor the Test type (#622) 4 years ago
Gustavo Grieco e179638879
More corpus mutations mutations (#372) 4 years ago
Gustavo Grieco 4e0a217d8f
Source coverage printing after fuzzing campaign (#516) 4 years ago
Gustavo Grieco 5420a4ff3c
Enable use of coverage by default (#605) 4 years ago
Artur Cygan a0509af16b
Simplify slither info parsing (#543) 4 years ago
Gustavo Grieco f92159597c
Use a sensible default value for block.gaslimit (#596) 4 years ago
Gustavo Grieco dcc4eed7f5
Use contract metadata to detect deployed contracts (#593) 4 years ago
Gustavo Grieco 717e2280b7
Semver integration for improve testing with different solc versions (#594) 4 years ago
Gustavo Grieco 081b2a1eac
Fixed wait bug when shrinking (#584) 4 years ago
Gustavo Grieco 8ec126c81f
Added funwithnumber example from Sabre (#565) 4 years ago
ßingen ecfebe112c
Allow to bypass EIP-170 and set up a custom max code size (#544) 4 years ago
Gustavo Grieco 7c8420ac02
Improvements in the detection of failed tests (#515) 4 years ago
Gustavo Grieco 88e25e0fe5
Added example from the ILF paper into the CI tests (#541) 4 years ago
ggrieco-tob 09d1c5778d fixes + tests 4 years ago
Gustavo Grieco 16ba989566
Use Slither for constant extraction (#451) 4 years ago
Will Song a4a7af92c4
hevm 0.42 (#511) 4 years ago
Gustavo Grieco d567fe9369
fix flanky corpus count test (#537) 4 years ago
Gustavo Grieco 802c247dfe
Fixed the use of large constants in the dictionary (#523) 4 years ago
Will Song 9149d95dda
fix issue where libraries would get loaded at extreme timestamps and block numbers, also switch to the new hevm stripBytecodeMetadata (#510) 4 years ago
Gustavo Grieco 59898043e4
Fixed timestamp/blocknumber issue and improved value generation with these values (#469) 4 years ago
Emilio López d8804f3e2d
Add test for code size during contract creation (#453, #454) (#465) 4 years ago
Will Song 70fecc9938
split each test group into separate files (#457) 4 years ago
Gustavo Grieco 86b2b574fd
Use of external programs to obtain information to use during the campaign (#396) 5 years ago
Gustavo Grieco 8e7bd27ad8
Detect if the contract deployment failed (#447) 5 years ago
Will Song 278d08750a
refactor `Tx` (#437) 5 years ago
Will Song bc25142d55
refactor CampaignConf and Campaign (#384) 5 years ago
Artur Cygan 313a4f8b31
JSON Output (#405) 5 years ago
E. Rivas 9146a992fc tests + rule benchmarkMode makes tests = [] 5 years ago
Gustavo Grieco 861de78cbb
Corrected corpus prioritization usage and added comments (#403) 5 years ago
Gustavo Grieco ee11293a07
Enable addresses shrinking (#385) 5 years ago
Gustavo Grieco 32db8d0e4f
Prioritization to mutate each list of transactions from the corpus (#376) 5 years ago
Gustavo Grieco 1456b8caf3
Improved array generation using generic mutations (#357) 5 years ago
Gustavo Grieco 9db3c342ab
Multiple coverage tracking according to the result of a transaction (#369) 5 years ago
Gustavo Grieco 63c2cd9d08
Allow to control corpus mutation constants using a configuration file 5 years ago
Will Song 3a93b2cf9b
update hevm to 0.37, echidna 1.4.0.1 (#381) 5 years ago
Gustavo Grieco cb22af4edf
Added new research tests and reorganized examples folder (#378) 5 years ago
Gustavo Grieco 343d51093f
Filtering the functions to be called (#356) 5 years ago
Gustavo Grieco 0bae37d496
Support to collect, save and load a corpus of transactions in JSON (#353) 5 years ago
Will Song f6dd7a6bbc
hlint workflow (#366) 5 years ago
agroce 4a2f114bc1 looser bounds 5 years ago