Graph: untyped tests::main(tests* this)
No node selected. Select a node to show its results.
Results for a = new A()
expressions: [a]state:
heap: monolith
type:
type:
a: [A*]
heap[w]:heap: [A]
this: [tests*]
value: #TOP#heap[w]:heap: [A]
this: [tests*]
Results for one = getPositive(a, getOne(a))
expressions: [one]state:
heap: monolith
type:
type:
one: [int32]
value:
one: [10, 10]
Results for positive = identity(a, one)
expressions: [positive]state:
heap: monolith
type:
type:
one: [int32]
positive: [int32]
value: positive: [int32]
one: [10, 10]
positive: [10, 10]
positive: [10, 10]
Results for minusone = -1
expressions: [minusone]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]
Results for negative = identity(a, minusone)
expressions: [negative]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]
Results for top = helper(this, one, a)
expressions: [top]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]
Results for ret
expressions: [skip]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]