{
  "formula": "(A && B) || C",
  "scope": "Strict unique-cause Boolean input-assignment model; not measured MC/DC",
  "gcc": "gcc (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0",
  "gcov": "gcov (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0",
  "subsets_examined": 256,
  "qualifying_subsets": 26,
  "minimum_size": 4,
  "minimum_suites_rows": [
    [
      3,
      4,
      5,
      7
    ],
    [
      3,
      5,
      6,
      7
    ]
  ],
  "minimum_suites_bits": [
    [
      "010",
      "011",
      "100",
      "110"
    ],
    [
      "010",
      "100",
      "101",
      "110"
    ]
  ],
  "pairs": {
    "A": [
      [
        3,
        7
      ]
    ],
    "B": [
      [
        5,
        7
      ]
    ],
    "C": [
      [
        1,
        2
      ],
      [
        3,
        4
      ],
      [
        5,
        6
      ]
    ]
  },
  "truth_table": [
    {
      "id": 1,
      "inputs": [
        0,
        0,
        0
      ],
      "decision": 0,
      "observed_short_circuit_conditions": [
        0,
        null,
        0
      ]
    },
    {
      "id": 2,
      "inputs": [
        0,
        0,
        1
      ],
      "decision": 1,
      "observed_short_circuit_conditions": [
        0,
        null,
        1
      ]
    },
    {
      "id": 3,
      "inputs": [
        0,
        1,
        0
      ],
      "decision": 0,
      "observed_short_circuit_conditions": [
        0,
        null,
        0
      ]
    },
    {
      "id": 4,
      "inputs": [
        0,
        1,
        1
      ],
      "decision": 1,
      "observed_short_circuit_conditions": [
        0,
        null,
        1
      ]
    },
    {
      "id": 5,
      "inputs": [
        1,
        0,
        0
      ],
      "decision": 0,
      "observed_short_circuit_conditions": [
        1,
        0,
        0
      ]
    },
    {
      "id": 6,
      "inputs": [
        1,
        0,
        1
      ],
      "decision": 1,
      "observed_short_circuit_conditions": [
        1,
        0,
        1
      ]
    },
    {
      "id": 7,
      "inputs": [
        1,
        1,
        0
      ],
      "decision": 1,
      "observed_short_circuit_conditions": [
        1,
        1,
        null
      ]
    },
    {
      "id": 8,
      "inputs": [
        1,
        1,
        1
      ],
      "decision": 1,
      "observed_short_circuit_conditions": [
        1,
        1,
        null
      ]
    }
  ],
  "baseline_pairs": {
    "A": [
      [
        3,
        7
      ]
    ],
    "B": [],
    "C": []
  },
  "complete_pairs": {
    "A": [
      [
        3,
        7
      ]
    ],
    "B": [
      [
        5,
        7
      ]
    ],
    "C": [
      [
        5,
        6
      ]
    ]
  },
  "compiled_truth_table": "000:0\n001:1\n010:0\n011:1\n100:0\n101:1\n110:1\n111:1",
  "compiled_trace_check": "000:0:0,-1,0\n001:1:0,-1,1\n010:0:0,-1,0\n011:1:0,-1,1\n100:0:1,0,0\n101:1:1,0,1\n110:1:1,1,-1\n111:1:1,1,-1",
  "trace_check_scope": "Condition callbacks in a separately compiled C semantic check; not an instrumented MC/DC tool.",
  "branch_experiments": {
    "branch_gap": {
      "compile_command": "gcc -O0 --coverage branch_gap.c -o branch_gap",
      "execution": "010:0\n101:1\n110:1",
      "coverage": "File 'branch_gap.c'\nLines executed:100.00% of 7\nBranches executed:100.00% of 6\nTaken at least once:100.00% of 6\nCalls executed:100.00% of 6\nCreating 'branch_gap.c.gcov'\n\nLines executed:100.00% of 7"
    },
    "branch_gap_complete": {
      "compile_command": "gcc -O0 --coverage branch_gap_complete.c -o branch_gap_complete",
      "execution": "010:0\n101:1\n110:1\n100:0",
      "coverage": "File 'branch_gap_complete.c'\nLines executed:100.00% of 8\nBranches executed:100.00% of 6\nTaken at least once:100.00% of 6\nCalls executed:100.00% of 8\nCreating 'branch_gap_complete.c.gcov'\n\nLines executed:100.00% of 8"
    }
  }
}