| Function name: lazy_boolean::main |
| Raw bytes (158): 0x[01, 01, 07, 01, 05, 01, 09, 01, 0d, 01, 19, 01, 1d, 01, 21, 01, 25, 1c, 01, 04, 01, 07, 0f, 05, 07, 10, 04, 06, 02, 04, 06, 00, 07, 01, 02, 09, 00, 11, 01, 02, 0d, 00, 12, 06, 02, 0d, 00, 12, 01, 03, 09, 00, 11, 01, 02, 0d, 00, 12, 0a, 02, 0d, 00, 12, 01, 02, 09, 00, 11, 01, 00, 14, 00, 19, 11, 00, 1d, 00, 22, 01, 01, 09, 00, 11, 01, 00, 14, 00, 19, 15, 00, 1d, 00, 22, 01, 03, 09, 01, 10, 0e, 02, 05, 03, 06, 19, 03, 06, 00, 07, 01, 03, 09, 00, 10, 1d, 01, 05, 03, 06, 12, 05, 05, 03, 06, 01, 05, 08, 00, 10, 16, 00, 11, 02, 06, 21, 02, 06, 00, 07, 01, 02, 08, 00, 0f, 25, 00, 10, 02, 06, 1a, 02, 0c, 02, 06, 01, 03, 01, 00, 02] |
| Number of files: 1 |
| - file 0 => global file 1 |
| Number of expressions: 7 |
| - expression 0 operands: lhs = Counter(0), rhs = Counter(1) |
| - expression 1 operands: lhs = Counter(0), rhs = Counter(2) |
| - expression 2 operands: lhs = Counter(0), rhs = Counter(3) |
| - expression 3 operands: lhs = Counter(0), rhs = Counter(6) |
| - expression 4 operands: lhs = Counter(0), rhs = Counter(7) |
| - expression 5 operands: lhs = Counter(0), rhs = Counter(8) |
| - expression 6 operands: lhs = Counter(0), rhs = Counter(9) |
| Number of file 0 mappings: 28 |
| - Code(Counter(0)) at (prev + 4, 1) to (start + 7, 15) |
| - Code(Counter(1)) at (prev + 7, 16) to (start + 4, 6) |
| - Code(Expression(0, Sub)) at (prev + 4, 6) to (start + 0, 7) |
| = (c0 - c1) |
| - Code(Counter(0)) at (prev + 2, 9) to (start + 0, 17) |
| - Code(Counter(0)) at (prev + 2, 13) to (start + 0, 18) |
| - Code(Expression(1, Sub)) at (prev + 2, 13) to (start + 0, 18) |
| = (c0 - c2) |
| - Code(Counter(0)) at (prev + 3, 9) to (start + 0, 17) |
| - Code(Counter(0)) at (prev + 2, 13) to (start + 0, 18) |
| - Code(Expression(2, Sub)) at (prev + 2, 13) to (start + 0, 18) |
| = (c0 - c3) |
| - Code(Counter(0)) at (prev + 2, 9) to (start + 0, 17) |
| - Code(Counter(0)) at (prev + 0, 20) to (start + 0, 25) |
| - Code(Counter(4)) at (prev + 0, 29) to (start + 0, 34) |
| - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 17) |
| - Code(Counter(0)) at (prev + 0, 20) to (start + 0, 25) |
| - Code(Counter(5)) at (prev + 0, 29) to (start + 0, 34) |
| - Code(Counter(0)) at (prev + 3, 9) to (start + 1, 16) |
| - Code(Expression(3, Sub)) at (prev + 2, 5) to (start + 3, 6) |
| = (c0 - c6) |
| - Code(Counter(6)) at (prev + 3, 6) to (start + 0, 7) |
| - Code(Counter(0)) at (prev + 3, 9) to (start + 0, 16) |
| - Code(Counter(7)) at (prev + 1, 5) to (start + 3, 6) |
| - Code(Expression(4, Sub)) at (prev + 5, 5) to (start + 3, 6) |
| = (c0 - c7) |
| - Code(Counter(0)) at (prev + 5, 8) to (start + 0, 16) |
| - Code(Expression(5, Sub)) at (prev + 0, 17) to (start + 2, 6) |
| = (c0 - c8) |
| - Code(Counter(8)) at (prev + 2, 6) to (start + 0, 7) |
| - Code(Counter(0)) at (prev + 2, 8) to (start + 0, 15) |
| - Code(Counter(9)) at (prev + 0, 16) to (start + 2, 6) |
| - Code(Expression(6, Sub)) at (prev + 2, 12) to (start + 2, 6) |
| = (c0 - c9) |
| - Code(Counter(0)) at (prev + 3, 1) to (start + 0, 2) |
| Highest counter ID seen: c9 |
| |
