20 lines
1.1 KiB
Text
20 lines
1.1 KiB
Text
Function name: inlined_expressions::inlined_instance
|
|
Raw bytes (50): 0x[01, 01, 02, 01, 05, 05, 09, 06, 01, 07, 01, 01, 06, 28, 03, 02, 01, 05, 00, 0b, 30, 05, 02, 01, 02, 00, 00, 05, 00, 06, 05, 00, 0a, 00, 0b, 30, 09, 06, 02, 00, 00, 00, 0a, 00, 0b, 01, 01, 01, 00, 02]
|
|
Number of files: 1
|
|
- file 0 => global file 1
|
|
Number of expressions: 2
|
|
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
|
|
- expression 1 operands: lhs = Counter(1), rhs = Counter(2)
|
|
Number of file 0 mappings: 6
|
|
- Code(Counter(0)) at (prev + 7, 1) to (start + 1, 6)
|
|
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 5) to (start + 0, 11)
|
|
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 5) to (start + 0, 6)
|
|
true = c1
|
|
false = (c0 - c1)
|
|
- Code(Counter(1)) at (prev + 0, 10) to (start + 0, 11)
|
|
- MCDCBranch { true: Counter(2), false: Expression(1, Sub), condition_id: 2, true_next_id: 0, false_next_id: 0 } at (prev + 0, 10) to (start + 0, 11)
|
|
true = c2
|
|
false = (c1 - c2)
|
|
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
|
|
Highest counter ID seen: c2
|
|
|