Artur Cygan
Artur Cygan
I removed the `dashboard` option from the wiki page since there is no longer such option. As @rappie wrote, you can add `format: text` to config or `--format text` to...
@elopez is this ready? I see all tests are passing
@hriztam yes
@samalws-tob can you take a look if this is still a problem?
I'm afraid having `echidna init` subcommand will require moving the current CLI to a subcommand as well and will break the existing interface. Any other ideas for the interface?
This is just a matter of making `testLimit` optional and removing the default limit.
Tests have to be updated too, you can run them with `cabal run tests`
I think some tests might rely on the default test limit and they will hang now
This should be fixed here https://github.com/crytic/echidna/blob/b43ecf7fcd79e44c719385d2f75e46908fd0a43b/src/Main.hs#L187-L193
I've checked and this works for me fine. Are you sure you are running the correct binary? The binary is in `result/bin/echidna-test` but you are unpacking a `tar.gz` file. It...