Skip to content

[BUG] Transferring InferenceSystem's state on returns #256

New issue
New issue
Closed
#346
Closed
[BUG] Transferring InferenceSystem's state on returns#256
#346
Assignees
lucaneg
Labels
⁉ priority:p2Priority planning - level 2🎊 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
@lucaneg

Description

@lucaneg
lucaneg
opened on Dec 12, 2022

Description
Modularize how the execution state of an InferenceSystem is transferred on return statements.

Metadata

Metadata

Assignees

Labels

⁉ priority:p2Priority planning - level 2🎊 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

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions