mirror of
https://github.com/crytic/echidna.git
synced 2026-10-12 02:12:32 +00:00
e899c10c3c
* improved support for foundry tests * Extend Foundry support testing (#1512) * Fix lint failures * ci: bump python version to 3.10, clone submodules * some fixes when using foundry mode * Update hevm to `542986dea3bec4f5898731ff48877a7a21811bf4` * Fix bugs in Foundry test generation (#1516) * Fix fallback function bug in Foundry test generation * Fix null byte in argument bug in Foundry test generation * Remove unnecessary config file * Remove unused/redundant imports * Disable Slither in Foundry test gen tests * Conditionally run forge-std tests based on the solc version * Reduce unnecessary test grouping and improve failed assertion messages --------- Co-authored-by: Emilio López <[email protected]> * Update hevm to `41e6d1304411749ea8c816d131991663b5dca67a` * Fix linter and build errors (#1521) * improve foundry stateful invariant testing * fix * Fix foundry test generation linter hints and tests (#1522) * Foundry updates (#1525) * Rename dapptest to foundry and support foundry assertX in assertion mode * Rename basic foundry test contracts dir to `foundry-basic` * Add testing modes to `README` * fixes * fixes * Add support for Foundry assume (#1528) * flake: sync hevm version with stack.yaml * Clarify `optimization` test mode in `README` (#1529) * IS_TEST fix --------- Co-authored-by: Radu Bahmata <[email protected]> Co-authored-by: Emilio López <[email protected]> Co-authored-by: Emilio López <[email protected]>
148 lines
2.7 KiB
YAML
148 lines
2.7 KiB
YAML
name: echidna
|
|
|
|
author: Trail of Bits <[email protected]>
|
|
maintainer: Trail of Bits <[email protected]>
|
|
|
|
version: 2.3.1
|
|
|
|
ghc-options:
|
|
- -O2
|
|
- -Wall
|
|
- -fno-warn-orphans
|
|
- -feager-blackholing
|
|
# https://github.com/haskell/cabal/issues/4739
|
|
- -optP-Wno-nonportable-include-path
|
|
- -fspecialize-aggressively
|
|
- -fexpose-all-unfoldings
|
|
- -Wunused-packages
|
|
|
|
dependencies:
|
|
- aeson
|
|
- base
|
|
- containers
|
|
- directory
|
|
- hevm
|
|
- MonadRandom
|
|
- mtl
|
|
- text
|
|
|
|
language: GHC2021
|
|
|
|
default-extensions:
|
|
- DataKinds
|
|
- DuplicateRecordFields
|
|
- LambdaCase
|
|
- MultiWayIf
|
|
- NoFieldSelectors
|
|
- OverloadedLabels
|
|
- OverloadedRecordDot
|
|
- OverloadedStrings
|
|
|
|
library:
|
|
source-dirs: lib/
|
|
dependencies:
|
|
- ansi-terminal
|
|
- array
|
|
- base16-bytestring
|
|
- binary
|
|
- brick
|
|
- bytestring
|
|
- data-bword
|
|
- data-dword
|
|
- deepseq
|
|
- exceptions
|
|
- extra
|
|
- filepath
|
|
- Glob
|
|
- hashable
|
|
- html-conduit
|
|
- html-entities
|
|
- http-conduit
|
|
- ListLike
|
|
- mustache
|
|
- optics
|
|
- optics-core
|
|
- process
|
|
- random
|
|
- rosezipper
|
|
- semver
|
|
- signal
|
|
- split
|
|
- strip-ansi-escape
|
|
- time
|
|
- unliftio
|
|
- unliftio-core
|
|
- utf8-string
|
|
- vector
|
|
- vty
|
|
- vty-crossplatform
|
|
- wai-extra
|
|
- warp
|
|
- wreq
|
|
- word-wrap
|
|
- xml-conduit
|
|
- yaml
|
|
|
|
executables:
|
|
echidna:
|
|
main: Main.hs
|
|
source-dirs: src/
|
|
dependencies:
|
|
- code-page
|
|
- echidna
|
|
- filepath
|
|
- hashable
|
|
- optparse-applicative
|
|
- time
|
|
- with-utf8
|
|
ghc-options:
|
|
- -threaded
|
|
- -rtsopts
|
|
- '"-with-rtsopts=-A64m -N"'
|
|
when:
|
|
- condition: (os(linux) || os(windows)) && flag(static)
|
|
ghc-options:
|
|
- -optl-static
|
|
- condition: os(linux) || os(windows)
|
|
ghc-options:
|
|
- -O2
|
|
- -optl-pthread
|
|
- condition: os(darwin)
|
|
ld-options: -Wl,-keep_dwarf_unwind
|
|
ghc-options: -fcompact-unwind
|
|
|
|
tests:
|
|
echidna-testsuite:
|
|
main: Spec.hs
|
|
source-dirs: src/test
|
|
dependencies:
|
|
- bytestring
|
|
- data-dword
|
|
- echidna
|
|
- exceptions
|
|
- optics-core
|
|
- process
|
|
- semver
|
|
- split
|
|
- tasty
|
|
- tasty-hunit
|
|
- tasty-quickcheck
|
|
- yaml
|
|
when:
|
|
- condition: (os(linux) || os(windows)) && flag(static)
|
|
ghc-options:
|
|
- -optl-static
|
|
- condition: os(linux) || os(windows)
|
|
ghc-options:
|
|
- -O2
|
|
- -optl-pthread
|
|
- condition: os(darwin)
|
|
ld-options: -Wl,-keep_dwarf_unwind
|
|
ghc-options: -fcompact-unwind
|
|
|
|
flags:
|
|
static:
|
|
description: Pass -static to ghc when linking the stack binary.
|
|
manual: true
|
|
default: false
|