Graph: untyped A::getPositive(A* this, untyped i)
ID: ['imp-testcases/visualization/visualization.imp':30:42]
No node selected. Select a node to show its results.
Results for <=(i, 0)
expressions: [i <= 0]state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':30:42]:call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [int32]
i: [int32]
this: #TOP#
value: i: [int32]
this: #TOP#
['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]
i: [1, 1]
this: [-Inf, +Inf]
Results for i = 1
expressions: [i]state:
heap: monolith
type: _|_
value: _|_
type: _|_
value: _|_
Results for i = 10
expressions: [i]state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':30:42]:call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [int32]
i: [int32]
this: #TOP#
value: i: [int32]
this: #TOP#
['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]
i: [10, 10]
this: [-Inf, +Inf]
Results for return i
expressions: [ret_value@getPositive]state:
heap: monolith
type:
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: i: [int32]
ret_value@getPositive: [int32]
this: #TOP#
['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]
i: [10, 10]
ret_value@getPositive: [10, 10]
this: [-Inf, +Inf]