Graph: untyped tests::main(tests* this)
No node selected. Select a node to show its results.
expressions: [a]
state:
state:
heap: monolith
type:
type:
a: [A*]
heap[w]:heap: [A]
this: [tests*]
value: #TOP#heap[w]:heap: [A]
this: [tests*]
expressions: [a]
state:
state:
heap: monolith
type:
type:
heap[w]:heap: [A]
this: [tests*]
value: #TOP#this: [tests*]
expressions: [ref$new A]
state:
state:
heap: monolith
type:
type:
heap[w]:heap: [A]
this: [tests*]
value: #TOP#this: [tests*]
expressions: [one]
state:
state:
heap: monolith
type:
type:
one: [int32]
value:
one: [10, 10]
expressions: [one]
state:
state:
heap: monolith
type:
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:42: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [1, 1]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:42: [10, 10]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:42: [10, 10]
expressions: [call_ret_value@'imp-testcases/visualization/visualization.imp':30:42]
state:
state:
heap: monolith
type:
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:42: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:41: [1, 1]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:42: [10, 10]
call_ret_value@'imp-testcases/visualization/visualization.imp':30:42: [10, 10]
expressions: [a]
state:
state:
heap: monolith
type:
type:
a: [A*]
heap[w]:heap: [A]
this: [tests*]
value: #TOP#heap[w]:heap: [A]
this: [tests*]
expressions: [call_ret_value@'imp-testcases/visualization/visualization.imp':30:41]
state:
state:
heap: monolith
type:
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:
state:
heap: monolith
type:
type:
a: [A*]
heap[w]:heap: [A]
this: [tests*]
value: #TOP#heap[w]:heap: [A]
this: [tests*]
expressions: [positive]
state:
state:
heap: monolith
type:
type:
one: [int32]
positive: [int32]
value: positive: [int32]
one: [10, 10]
positive: [10, 10]
positive: [10, 10]
expressions: [positive]
state:
state:
heap: monolith
type:
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':31:37: [int32]
one: [int32]
value: one: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':31:37: [10, 10]
one: [10, 10]
one: [10, 10]
expressions: [call_ret_value@'imp-testcases/visualization/visualization.imp':31:37]
state:
state:
heap: monolith
type:
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':31:37: [int32]
one: [int32]
value: one: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':31:37: [10, 10]
one: [10, 10]
one: [10, 10]
expressions: [a]
state:
state:
heap: monolith
type:
type:
one: [int32]
value:
one: [10, 10]
expressions: [one]
state:
state:
heap: monolith
type:
type:
one: [int32]
value:
one: [10, 10]
expressions: [minusone]
state:
state:
heap: monolith
type:
type:
minusone: [int32]
one: [int32]
positive: [int32]
value: one: [int32]
positive: [int32]
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
one: [10, 10]
positive: [10, 10]
expressions: [minusone]
state:
state:
heap: monolith
type:
type:
one: [int32]
positive: [int32]
value: positive: [int32]
one: [10, 10]
positive: [10, 10]
positive: [10, 10]
expressions: [-1]
state:
state:
heap: monolith
type:
type:
one: [int32]
positive: [int32]
value: positive: [int32]
one: [10, 10]
positive: [10, 10]
positive: [10, 10]
expressions: [negative]
state:
state:
heap: monolith
type:
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value: negative: [int32]
one: [int32]
positive: [int32]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [negative]
state:
state:
heap: monolith
type:
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':33:42: [int32]
minusone: [int32]
one: [int32]
positive: [int32]
value: minusone: [int32]
one: [int32]
positive: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':33:42: [-1, -1]
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [call_ret_value@'imp-testcases/visualization/visualization.imp':33:42]
state:
state:
heap: monolith
type:
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':33:42: [int32]
minusone: [int32]
one: [int32]
positive: [int32]
value: minusone: [int32]
one: [int32]
positive: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':33:42: [-1, -1]
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [a]
state:
state:
heap: monolith
type:
type:
minusone: [int32]
one: [int32]
positive: [int32]
value: one: [int32]
positive: [int32]
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
one: [10, 10]
positive: [10, 10]
expressions: [minusone]
state:
state:
heap: monolith
type:
type:
minusone: [int32]
one: [int32]
positive: [int32]
value: one: [int32]
positive: [int32]
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
one: [10, 10]
positive: [10, 10]
expressions: [top]
state:
state:
heap: monolith
type:
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
top: [int32]
value: negative: [int32]
one: [int32]
positive: [int32]
top: [int32]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
top: [10, 10]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
top: [10, 10]
expressions: [top]
state:
state:
heap: monolith
type:
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':34:36: [int32]
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value: minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':34:36: [10, 10]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [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:
state:
heap: monolith
type:
type:
call_ret_value@'imp-testcases/visualization/visualization.imp':34:36: [int32]
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value: minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
call_ret_value@'imp-testcases/visualization/visualization.imp':34:36: [10, 10]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [this]
state:
state:
heap: monolith
type:
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value: negative: [int32]
one: [int32]
positive: [int32]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [one]
state:
state:
heap: monolith
type:
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value: negative: [int32]
one: [int32]
positive: [int32]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [a]
state:
state:
heap: monolith
type:
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
value: negative: [int32]
one: [int32]
positive: [int32]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
expressions: [skip]
state:
state:
heap: monolith
type:
type:
minusone: [int32]
negative: [int32]
one: [int32]
positive: [int32]
top: [int32]
value: negative: [int32]
one: [int32]
positive: [int32]
top: [int32]
minusone: [-1, -1]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
top: [10, 10]
negative: [-1, -1]
one: [10, 10]
positive: [10, 10]
top: [10, 10]