You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Typically, when a detector generates duplicate warnings, it indicates poor design in AST/CFG traversals, which should be improved. We could introduce an additional environment variable like MISTI_DEBUG to throw exceptions when these cases are detected instead of just filtering them out in the Driver.
The text was updated successfully, but these errors were encountered:
Typically, when a detector generates duplicate warnings, it indicates poor design in AST/CFG traversals, which should be improved. We could introduce an additional environment variable like
MISTI_DEBUG
to throw exceptions when these cases are detected instead of just filtering them out in the Driver.The text was updated successfully, but these errors were encountered: