Check if the condition for pruning is part of a larger boolean expression
Open
- Dominant language
- Python
- Stars
- 63
- Forks
- 13
- PR merge metrics
- No merged PRs in 30d
Description
While checking mutually exclusive conditions which are used for pruning, only basic conditions are considered.
e.g
patterns such as following are considered
```
txn OnCompletion
int 1
==
bnz
```
however, patterns where condition is part of larger expression are not considered
```
txn OnCompletion
int 1
==
txna ApplicationArgs 0
byte 0x65
==
&&
bnz label
```
Boolean expression which are simple chain of `&&` could be implemented with present capabilities of tealer. However, generalizing this requires more analysis.
Contributor guide
Assessment
This issue has not been assessed yet.