Fix dos-unexpected-revert-with-vector detector
#548
| Job | Run time |
|---|---|
| 3m 15s | |
| 30s | |
| 5s | |
| 3m 50s |
dos-unexpected-revert-with-vector detector
#548
| Job | Run time |
|---|---|
| 3m 15s | |
| 30s | |
| 5s | |
| 3m 50s |