Output is to stderr instead of stdout
Open
bug-candidate
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the issue:
Not able to pipe or redirect output to a file
### Code example to reproduce the issue:
```slither . | tee output.file```
```slither . > output.file```
### Version:
0.8.3
### Relevant log output:
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.