Graph: untyped A::A(A* this)
ID: ['imp-testcases/visualization/visualization.imp':29:22]
No node selected. Select a node to show its results.
Results for i1 = 0
expressions: [i1]state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':29:22]:$lisareceiver: [A*]
['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
i1: [int32]
this: [A*]
value: ['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
i1: [int32]
this: [A*]
i1: [0, 0]
Results for ret
expressions: [skip]state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':29:22]:$lisareceiver: [A*]
['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
i1: [int32]
this: [A*]
value: ['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
i1: [int32]
this: [A*]
i1: [0, 0]