× Node border: gray, single Entrypoint border: black, dashed Exitpoint border: black, solid Sequential edge: black, solid False edge: red, solid True edge: blue, solid
No node selected. Select a node to show its results.
Results for i1 = 0
expressions: [i1]
state:
heap: monolith
type:
['imp-testcases/visualization/visualization.imp':29:22]:$lisareceiver: [A*]
['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
i1: [int32]
this: [A*]
value:
i1: [0, 0]
Results for ret
expressions: [skip]
state:
heap: monolith
type:
['imp-testcases/visualization/visualization.imp':29:22]:$lisareceiver: [A*]
['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*]
i1: [int32]
this: [A*]
value:
i1: [0, 0]