[BUG] Expression visiting is missing a generic expression callback #313
Labels
‼ priority:p1
Priority planning - level 1
🎊 resolution:resolved
Bug or feature resolved - might not have been merged to master yet
🔍 scope:analysis
Work regarding abstract domains or fixpoint algorithms
🐛 type:bug
Something isn't working
Milestone
Description
It is possible to define custom symbolic expressions that do not subclass any of the current ones, but the ExpressionVisitor interface does not allow visiting them since there is no generic callback for such expressions.
The text was updated successfully, but these errors were encountered: