× 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 <=(i, 0)
expressions: [i <= 0]
state:
heap: monolith
type:
['imp-testcases/visualization/visualization.imp':30:42]:call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [int32]
i: [int32]
this: #TOP#
value:
['imp-testcases/visualization/visualization.imp':30:42]:call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [1, 1]
i: [1, 1]
this: [-Inf, +Inf]
Results for i = 1
expressions: [i]
state:
heap: monolith
type: _|_
value: _|_
Results for i = 10
expressions: [i]
state:
heap: monolith
type:
['imp-testcases/visualization/visualization.imp':30:42]:call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [int32]
i: [int32]
this: #TOP#
value:
['imp-testcases/visualization/visualization.imp':30:42]:call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [1, 1]
i: [10, 10]
this: [-Inf, +Inf]
Results for return i
expressions: [ret_value@getPositive]
state:
heap: monolith
type:
['imp-testcases/visualization/visualization.imp':30:42]:call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [int32]
i: [int32]
ret_value@getPositive: [int32]
this: #TOP#
value:
['imp-testcases/visualization/visualization.imp':30:42]:call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [1, 1]
i: [10, 10]
ret_value@getPositive: [10, 10]
this: [-Inf, +Inf]