Commit Graph

26 Commits (1691cf7863b7d0eeba912302d3398b1dfa0c37b1)

Author SHA1 Message Date
Ben Perez b4b843cb11 Stylistic fixes in examples 6 years ago
Ben Perez 96edf6b34e Added examples to help demo new features of Echidna 6 years ago
Ben Perez 378b89a04a removed unnecessary param from config.yaml 6 years ago
Ben Perez a47fa3423d Fixed config to reflect property types 6 years ago
JP Smith 7907086ecc use config to decide when to print 6 years ago
JP Smith 1c19375ab7 fix example config 6 years ago
JP Smith a5f40a8234 add prefix config, clean up config types 6 years ago
ggrieco-tob 015437b7b5
Improved and standardized properties (#68) 6 years ago
JP Smith cb0238b533 fixed config parsing 6 years ago
Ben Perez d209101b7f Added functionality for adding whitelist of addresses to the config file, which will force Gen to only choose from that list when creating tests. Also updated README 6 years ago
Ben Perez 4241225ddc Added MonadReader to loadSolidty, config now takes gas amt as a W256 7 years ago
Ben Perez c74bae0175 Basic config file functionality 7 years ago
ggrieco-tob dd3661a088 modified the revert example to use ePropertySeq 7 years ago
ggrieco-tob 9dacc28f5b missing solidity example 7 years ago
JP Smith 7c71a85435 documentation updates 7 years ago
JP Smith 9efeff7f09 more elaborate turnstile example 7 years ago
JP Smith e03bd91971 fixed state machine example 7 years ago
JP Smith 917ae45429 simple bugfixes 7 years ago
phoebe jenkins 0f26d68159 Add state machine integration with hedgehog 7 years ago
JP Smith 243b0ffb01 add cli example solidity contract 7 years ago
JP Smith 415cc0ebc8 magic oneline tool 7 years ago
JP Smith a03d350849 add new solidity directory 7 years ago