× 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.
expressions: [rec]
state:
heap: monolith
type:
heap[w]:heap: [tests]
rec: [tests*]
value: #TOP#
expressions: [rec]
state:
heap: monolith
type:
heap[w]:heap: [tests]
value: #TOP#
expressions: [ref$new tests]
state:
heap: monolith
type:
heap[w]:heap: [tests]
value: #TOP#
expressions: [x]
state:
heap: monolith
type:
x: #TOP#
value:
x: [-Inf, +Inf]
expressions: [x]
state: #TOP#
expressions: [open_call_ret_value@'imp-testcases/visualization/visualization.imp':7:22]
state: #TOP#
expressions: [rec]
state:
heap: monolith
type:
heap[w]:heap: [tests]
rec: [tests*]
value: #TOP#
expressions: [x < 10]
state:
heap: monolith
type:
x: #TOP#
value:
x: [-Inf, +Inf]
expressions: [x]
state:
heap: monolith
type:
x: #TOP#
value:
x: [-Inf, +Inf]
expressions: [10]
state:
heap: monolith
type:
x: #TOP#
value:
x: [-Inf, +Inf]
expressions: [x]
state:
heap: monolith
type:
x: [float32, int32]
value:
x: [-Inf, 10]
expressions: [x]
state:
heap: monolith
type:
x: #TOP#
value:
x: [-Inf, 9]
expressions: [x + 1]
state:
heap: monolith
type:
x: #TOP#
value:
x: [-Inf, 9]
expressions: [x]
state:
heap: monolith
type:
x: #TOP#
value:
x: [-Inf, 9]
expressions: [1]
state:
heap: monolith
type:
x: #TOP#
value:
x: [-Inf, 9]
expressions: [ret_value@getOne]
state:
heap: monolith
type:
ret_value@getOne: [int32]
x: #TOP#
value:
ret_value@getOne: [1, 1]
x: [10, +Inf]
expressions: [1]
state:
heap: monolith
type:
x: #TOP#
value:
x: [10, +Inf]