× 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: [a]
state:
heap: monolith
type:
a: [A*]
heap[w]:heap: [A]
this: [tests*]
value: #TOP#
expressions: [a]
state:
heap: monolith
type:
heap[w]:heap: [A]
this: [tests*]
value: #TOP#
expressions: [ref$new A]
state:
heap: monolith
type:
heap[w]:heap: [A]
this: [tests*]
value: #TOP#
expressions: [one]
state:
heap: monolith
type:
one: [int32]
value:
one: [10, 10]
expressions: [one]
state:
heap: monolith
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:42: [int32]
value:
call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [1, 1]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:42: [10, 10]
expressions: [call_ret_value@'imp-testcases/visualization/visualization.imp':30:42]
state:
heap: monolith
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:42: [int32]
value:
call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [1, 1]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:42: [10, 10]
expressions: [a]
state:
heap: monolith
type:
a: [A*]
heap[w]:heap: [A]
this: [tests*]
value: #TOP#
expressions: [call_ret_value@'imp-testcases/visualization/visualization.imp':30:41]
state:
heap: monolith
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [int32]
value:
call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [1, 1]
expressions: [a]
state:
heap: monolith
type:
a: [A*]
heap[w]:heap: [A]
this: [tests*]
value: #TOP#
expressions: [positive]
state:
heap: monolith
type:
one: [int32]
positive: [int32]
value:
one: [10, 10]
positive: [10, 10]
expressions: [positive]
state:
heap: monolith
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':31:37: [int32]
one: [int32]
value:
call_ret_value@'imp-testcases/visualization/visualization.imp':31:37: [10, 10]
one: [10, 10]
expressions: [call_ret_value@'imp-testcases/visualization/visualization.imp':31:37]
state:
heap: monolith
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':31:37: [int32]
one: [int32]
value:
call_ret_value@'imp-testcases/visualization/visualization.imp':31:37: [10, 10]
one: [10, 10]
expressions: [a]
state:
heap: monolith
type:
one: [int32]
value:
one: [10, 10]
expressions: [one]
state:
heap: monolith
type:
one: [int32]
value:
one: [10, 10]
expressions: [minusone]
state:
heap: monolith
type:
minusone: [int32]
one: [int32]
positive: [int32]
value:
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [minusone]
state:
heap: monolith
type:
one: [int32]
positive: [int32]
value:
one: [10, 10]
positive: [10, 10]
expressions: [-1]
state:
heap: monolith
type:
one: [int32]
positive: [int32]
value:
one: [10, 10]
positive: [10, 10]
expressions: [negative]
state:
heap: monolith
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value:
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [negative]
state:
heap: monolith
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':33:42: [int32]
minusone: [int32]
one: [int32]
positive: [int32]
value:
call_ret_value@'imp-testcases/visualization/visualization.imp':33:42: [-1, -1]
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [call_ret_value@'imp-testcases/visualization/visualization.imp':33:42]
state:
heap: monolith
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':33:42: [int32]
minusone: [int32]
one: [int32]
positive: [int32]
value:
call_ret_value@'imp-testcases/visualization/visualization.imp':33:42: [-1, -1]
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [a]
state:
heap: monolith
type:
minusone: [int32]
one: [int32]
positive: [int32]
value:
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [minusone]
state:
heap: monolith
type:
minusone: [int32]
one: [int32]
positive: [int32]
value:
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [top]
state:
heap: monolith
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
top: [int32]
value:
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
top: [10, 10]
expressions: [top]
state:
heap: monolith
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':34:36: [int32]
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value:
call_ret_value@'imp-testcases/visualization/visualization.imp':34:36: [10, 10]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [call_ret_value@'imp-testcases/visualization/visualization.imp':34:36]
state:
heap: monolith
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':34:36: [int32]
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value:
call_ret_value@'imp-testcases/visualization/visualization.imp':34:36: [10, 10]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [this]
state:
heap: monolith
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value:
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [one]
state:
heap: monolith
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value:
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [a]
state:
heap: monolith
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value:
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [skip]
state:
heap: monolith
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
top: [int32]
value:
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
top: [10, 10]