tealer
tealer copied to clipboard
tealer detect with --exclude flag fails
I am getting an error when executing tealer against a simple approval.clear program. The --exclude flag as documented on this repo accepts a list of comma separated detector names. Hovewer when i rune against specific file and also have the exclude flag in-place i receive:
tealer detect --contracts approval.teal --exclude is-updatable
CommandLineError: --exclude, --exclude-stateless, --exclude-stateful and --filter-paths options are only available when --detect is selected.
I am using mac os and installed the latest tealer version based on main bracnh. Any suggestions for a fix/workaround are appeciated.
The proposal for this bug and a bare minimum set of other tweaks required to make detect feature work is available in https://github.com/crytic/tealer/pull/202.
We are going to use our fork of tealer until we get the PR merged (no rush, but would be nice to at least patch detect command) and if you can then provide the pypi package so we will rely on official tealer repo.
cc @loedn