Graph: untyped A::getOne(A* this)
ID: ['imp-testcases/visualization/visualization.imp':30:41]
No node selected. Select a node to show its results.
expressions: [rec]
state:
state:
heap: monolith
type:
type:
heap[w]:heap: [tests]
rec: [tests*]
value: #TOP#rec: [tests*]
expressions: [rec]
state:
state:
heap: monolith
type:
type:
heap[w]:heap: [tests]
value: #TOP# expressions: [ref$new tests]
state:
state:
heap: monolith
type:
type:
heap[w]:heap: [tests]
value: #TOP# expressions: [x]
state:
state:
heap: monolith
type:
type:
x: #TOP#
value:
x: [-Inf, +Inf]
expressions: [x]
state: #TOP#
state: #TOP#
expressions: [open_call_ret_value@'imp-testcases/visualization/visualization.imp':7:22]
state: #TOP#
state: #TOP#
expressions: [rec]
state:
state:
heap: monolith
type:
type:
heap[w]:heap: [tests]
rec: [tests*]
value: #TOP#rec: [tests*]
expressions: [x < 10]
state:
state:
heap: monolith
type:
type:
x: #TOP#
value:
x: [-Inf, +Inf]
expressions: [x]
state:
state:
heap: monolith
type:
type:
x: #TOP#
value:
x: [-Inf, +Inf]
expressions: [10]
state:
state:
heap: monolith
type:
type:
x: #TOP#
value:
x: [-Inf, +Inf]
expressions: [x]
state:
state:
heap: monolith
type:
type:
x: [float32, int32]
value:
x: [-Inf, 10]
expressions: [x]
state:
state:
heap: monolith
type:
type:
x: #TOP#
value:
x: [-Inf, 9]
expressions: [x + 1]
state:
state:
heap: monolith
type:
type:
x: #TOP#
value:
x: [-Inf, 9]
expressions: [x]
state:
state:
heap: monolith
type:
type:
x: #TOP#
value:
x: [-Inf, 9]
expressions: [1]
state:
state:
heap: monolith
type:
type:
x: #TOP#
value:
x: [-Inf, 9]
expressions: [ret_value@getOne]
state:
state:
heap: monolith
type:
type:
ret_value@getOne: [int32]
x: #TOP#
value: x: #TOP#
ret_value@getOne: [1, 1]
x: [10, +Inf]
x: [10, +Inf]
expressions: [1]
state:
state:
heap: monolith
type:
type:
x: #TOP#
value:
x: [10, +Inf]