Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

tealer detect with --exclude flag fails #201

Open
aorumbayev opened this issue Dec 11, 2023 · 1 comment
Open

tealer detect with --exclude flag fails #201

aorumbayev opened this issue Dec 11, 2023 · 1 comment

Comments

@aorumbayev
Copy link
Contributor

aorumbayev commented Dec 11, 2023

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.

@aorumbayev
Copy link
Contributor Author

aorumbayev commented Dec 15, 2023

The proposal for this bug and a bare minimum set of other tweaks required to make detect feature work is available in #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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant