Skip to content

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

New issue
New issue
Closed
#314
Closed
[BUG] Expression visiting is missing a generic expression callback#313
#314
Assignees
lucaneg
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
Milestone
0.1
@lucaneg

Description

@lucaneg
lucaneg
opened on Jul 31, 2024

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

LiSA

Status

Merged

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions