× 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 return identity(dispatcher, i)
expressions: [ret_value@helper]
state:
heap: monolith
type:
['imp-testcases/visualization/visualization.imp':34:36]:minusone: [int32]
['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
dispatcher: #TOP#
i: [int32]
ret_value@helper: [int32]
this: #TOP#
value:
['imp-testcases/visualization/visualization.imp':34:36]:minusone: [-1, -1]
['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
dispatcher: [-Inf, +Inf]
i: [10, 10]
ret_value@helper: [10, 10]
this: [-Inf, +Inf]