Graph: untyped A::A(A* this)
ID: ['imp-testcases/visualization/visualization.imp':29:22]
No node selected. Select a node to show its results.
expressions: [i1]
state:
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]
expressions: [i1]
state:
state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':29:22]:$lisareceiver: [A*]
['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
this: [A*]
value: #TOP#['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
this: [A*]
expressions: [0]
state:
state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':29:22]:$lisareceiver: [A*]
['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
this: [A*]
value: #TOP#['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
this: [A*]
expressions: [skip]
state:
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]