× 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.
Results for a = new A()
expressions: [a]
state:
heap: monolith
type:
a: [A*]
heap[w]:heap: [A]
this: [tests*]
value: #TOP#
Results for one = getPositive(a, getOne(a))
expressions: [one]
state:
heap: monolith
type:
one: [int32]
value:
one: [10, 10]
Results for positive = identity(a, one)
expressions: [positive]
state:
heap: monolith
type:
one: [int32]
positive: [int32]
value:
one: [10, 10]
positive: [10, 10]
Results for minusone = -1
expressions: [minusone]
state:
heap: monolith
type:
minusone: [int32]
one: [int32]
positive: [int32]
value:
minusone: [-1, -1]
one: [10, 10]
positive: [10, 10]
Results for negative = identity(a, minusone)
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]
Results for top = helper(this, one, a)
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]
Results for ret
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]