mirror of https://github.com/crytic/echidna
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
72 lines
1.6 KiB
72 lines
1.6 KiB
name: echidna
|
|
|
|
author: JP Smith
|
|
|
|
version: 0.0.0.1
|
|
|
|
ghc-options: -Wall -fno-warn-orphans -O2
|
|
|
|
dependencies:
|
|
- aeson >= 1.3 && < 1.5
|
|
- base
|
|
- ansi-terminal
|
|
- bytestring >= 0.10.8 && < 0.11
|
|
- containers >= 0.5.7 && < 0.6
|
|
- data-dword >= 0.3.1 && < 0.4
|
|
- deepseq
|
|
- directory >= 1.3 && < 1.4
|
|
- exceptions >= 0.8.1 && < 0.11
|
|
- hedgehog >= 0.6
|
|
- hevm
|
|
- lens >= 4.15.1 && < 4.17
|
|
- mtl >= 2.2.1 && < 2.3
|
|
- multiset >= 0.3 && < 0.4
|
|
- optparse-applicative >= 0.13.0 && < 0.15
|
|
- process >= 1.4.3 && < 1.7
|
|
- stm
|
|
- temporary >= 1.2.1 && < 1.4
|
|
- text >= 1.2.2 && < 1.3
|
|
- transformers
|
|
- vector >= 0.11.0 && < 0.13
|
|
- wl-pprint-annotated
|
|
- yaml
|
|
- unordered-containers
|
|
|
|
default-extensions:
|
|
- OverloadedStrings
|
|
|
|
library:
|
|
source-dirs: lib/
|
|
exposed-modules:
|
|
- Echidna.ABI
|
|
- Echidna.Config
|
|
- Echidna.Coverage
|
|
- Echidna.Exec
|
|
- Echidna.Solidity
|
|
- Echidna.Property
|
|
|
|
executables:
|
|
echidna-test:
|
|
main: Main.hs
|
|
source-dirs: src/
|
|
dependencies: echidna
|
|
echidna-diagnose:
|
|
main: Main.hs
|
|
source-dirs: diagnose
|
|
dependencies: echidna
|
|
revert-example-exe:
|
|
main: Revert.hs
|
|
source-dirs: examples/revert
|
|
dependencies: echidna
|
|
state-example-exe:
|
|
main: StateMachine.hs
|
|
source-dirs: examples/state-machine
|
|
dependencies: echidna
|
|
perprop-exe:
|
|
main: Main.hs
|
|
source-dirs: perprop
|
|
dependencies: echidna
|
|
gastest-exe:
|
|
main: Main.hs
|
|
source-dirs: gastest
|
|
dependencies: echidna
|
|
|