Skip to content

[BUG] Expression visiting is missing a generic expression callback #313

@lucaneg

Description

@lucaneg

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.

Metadata

Metadata

Assignees

Labels

‼ priority:p1Priority planning - level 1🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🐛 type:bugSomething isn't working🔍 scope:analysisWork regarding abstract domains or fixpoint algorithms

Type

No type

Projects

Status

Merged

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions