Graph: untyped A::identity(A* this, untyped i)
ID: ['imp-testcases/visualization/visualization.imp':34:36, 'imp-testcases/visualization/visualization.imp':38:36]
No node selected. Select a node to show its results.
expressions: [i3]
state:
state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
i3: [int32]
this: #TOP#
value: ['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
i3: [int32]
this: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
i3: [1, 1]
this: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
i3: [1, 1]
this: [-Inf, +Inf]
expressions: [i3]
state:
state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
this: #TOP#
value: ['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
this: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
this: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
this: [-Inf, +Inf]
expressions: [1]
state:
state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
this: #TOP#
value: ['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
this: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
this: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
this: [-Inf, +Inf]
expressions: [ret_value@identity]
state:
state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
i3: [int32]
ret_value@identity: [int32]
this: #TOP#
value: ['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
i3: [int32]
ret_value@identity: [int32]
this: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
i3: [1, 1]
ret_value@identity: [10, 10]
this: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
i3: [1, 1]
ret_value@identity: [10, 10]
this: [-Inf, +Inf]
expressions: [i]
state:
state:
heap: monolith
type:
type:
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
i3: [int32]
this: #TOP#
value: ['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:i: [int32]
['imp-testcases/visualization/visualization.imp':38:36]:this: #TOP#
i: [int32]
i3: [int32]
this: #TOP#
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:minusone: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
i3: [1, 1]
this: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:negative: [-1, -1]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:one: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:['imp-testcases/visualization/visualization.imp':34:36]:positive: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:dispatcher: [-Inf, +Inf]
['imp-testcases/visualization/visualization.imp':38:36]:i: [10, 10]
['imp-testcases/visualization/visualization.imp':38:36]:this: [-Inf, +Inf]
i: [10, 10]
i3: [1, 1]
this: [-Inf, +Inf]