{"abstract":"A fault detected by several vectors reports the last one instead of the first.","category":"Digital logic simulation","checks":9,"contract":"Input [pis, gates, pos, vectors, faults]. Gates [out, op, ins] are topologically ordered (and/or/nand/nor/not). A fault [net, None, v] is a stem stuck-at on a primary input or gate output; [net, reader, v] is a branch fault that forces only the pin of gate 'reader' that reads 'net'. A fault is detected by a vector when any primary output differs from the fault-free circuit. Return [net, reader, v, first detecting vector index or None] per fault.","contract_signature":"*args","evaluation_group":"w2-digital-logic-simulation-stuck-at-faultsim","failed_approach":"Stopping at the first hit but reporting a one-based index breaks the zero-based contract.","family":"w2-digital-logic-simulation-stuck-at-faultsim-fault-dropping","id":"FA-89006","implementations":{"attempt":{"sha256":"0f4d977b649628487015d41964823add61d10ce9b05efdabc7cc0d6c52420e9e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(*args):\n    pis, gates, pos, vectors, faults = args\n    def ev(op, bits):\n        if op == 'and': return int(all(bits))\n        if op == 'or': return int(any(bits))\n        if op == 'nand': return 1 - int(all(bits))\n        if op == 'nor': return 1 - int(any(bits))\n        return 1 - bits[0]\n    def sim(vec, fault):\n        net, pin, sv = fault if fault else (None, None, None)\n        val = {}\n        for p in pis:\n            val[p] = sv if (p == net and pin is None) else vec[p]\n        for out, op, ins in gates:\n            bits = [sv if (i == net and pin == out) else val[i] for i in ins]\n            v = ev(op, bits)\n            val[out] = sv if (out == net and pin is None) else v\n        return [val[o] for o in pos]\n    res = []\n    for f in faults:\n        first = None\n        for idx, vec in enumerate(vectors):\n            if sim(vec, f) != sim(vec, None):\n                first = idx + 1\n                break\n        res.append([f[0], f[1], f[2], first])\n    return res\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['a', None, 1]]], [['a', None, 1, 1]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['b', None, 0]]], [['b', None, 0, 1]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 5]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 1]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['n4', None, 1]]], [['n4', None, 1, 0]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 0], ['n3', None, 0, 2]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['c', 'n5', 1]]], [['c', 'n5', 1, 1]])], [('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['a', None, 1]]], [['a', None, 1, 0]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['b', None, 0]]], [['b', None, 0, 0]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 4]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 0]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n4', None, 1]]], [['n4', None, 1, 2]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 1], ['n3', None, 0, 3]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 0}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['c', 'n5', 1]]], [['c', 'n5', 1, 0]])], [('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['a', None, 1]]], [['a', None, 1, 0]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['b', None, 0]]], [['b', None, 0, 0]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 3]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 1]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n4', None, 1]]], [['n4', None, 1, 1]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 0], ['n3', None, 0, 4]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['c', 'n5', 1]]], [['c', 'n5', 1, 1]])], [('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['a', None, 1]]], [['a', None, 1, 6]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['b', None, 0]]], [['b', None, 0, 2]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 2]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 0]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n4', None, 1]]], [['n4', None, 1, 0]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 0], ['n3', None, 0, 5]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 0}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}], [['c', 'n5', 1]]], [['c', 'n5', 1, 0]])], [('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['a', None, 1]]], [['a', None, 1, 5]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['b', None, 0]]], [['b', None, 0, 1]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 1]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 3]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n4', None, 1]]], [['n4', None, 1, 0]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 0], ['n3', None, 0, 6]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}], [['c', 'n5', 1]]], [['c', 'n5', 1, None]])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"619643386e6e76255c7064391f3a2a818604767dad9739df2f777bf6638ea035","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(*args):\n    pis, gates, pos, vectors, faults = args\n    def ev(op, bits):\n        if op == 'and': return int(all(bits))\n        if op == 'or': return int(any(bits))\n        if op == 'nand': return 1 - int(all(bits))\n        if op == 'nor': return 1 - int(any(bits))\n        return 1 - bits[0]\n    def sim(vec, fault):\n        net, pin, sv = fault if fault else (None, None, None)\n        val = {}\n        for p in pis:\n            val[p] = sv if (p == net and pin is None) else vec[p]\n        for out, op, ins in gates:\n            bits = [sv if (i == net and pin == out) else val[i] for i in ins]\n            v = ev(op, bits)\n            val[out] = sv if (out == net and pin is None) else v\n        return [val[o] for o in pos]\n    res = []\n    for f in faults:\n        first = None\n        for idx, vec in enumerate(vectors):\n            if sim(vec, f) != sim(vec, None):\n                first = idx\n        res.append([f[0], f[1], f[2], first])\n    return res\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['a', None, 1]]], [['a', None, 1, 1]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['b', None, 0]]], [['b', None, 0, 1]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 5]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 1]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['n4', None, 1]]], [['n4', None, 1, 0]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 0], ['n3', None, 0, 2]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['c', 'n5', 1]]], [['c', 'n5', 1, 1]])], [('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['a', None, 1]]], [['a', None, 1, 0]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['b', None, 0]]], [['b', None, 0, 0]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 4]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 0]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n4', None, 1]]], [['n4', None, 1, 2]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 1], ['n3', None, 0, 3]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 0}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['c', 'n5', 1]]], [['c', 'n5', 1, 0]])], [('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['a', None, 1]]], [['a', None, 1, 0]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['b', None, 0]]], [['b', None, 0, 0]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 3]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 1]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n4', None, 1]]], [['n4', None, 1, 1]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 0], ['n3', None, 0, 4]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['c', 'n5', 1]]], [['c', 'n5', 1, 1]])], [('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['a', None, 1]]], [['a', None, 1, 6]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['b', None, 0]]], [['b', None, 0, 2]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 2]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 0]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n4', None, 1]]], [['n4', None, 1, 0]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 0, 'b': 1, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 0], ['n3', None, 0, 5]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 0}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}], [['c', 'n5', 1]]], [['c', 'n5', 1, 0]])], [('primary input stuck-at-1', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['a', None, 1]]], [['a', None, 1, 5]]), ('primary input stuck-at-0', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['b', None, 0]]], [['b', None, 0, 1]]), ('fanout branch fault into n4', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n1', 'n4', 1]]], [['n1', 'n4', 1, 1]]), ('fanout branch fault into n2', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n1', 'n2', 0]]], [['n1', 'n2', 0, 3]]), ('fault visible only at the second output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n4', None, 1]]], [['n4', None, 1, 0]]), ('fault visible only at the first output', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 1, 'b': 0, 'c': 0}], [['n2', None, 0]]], [['n2', None, 0, 0]]), ('stem fault on internal net', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 0, 'b': 1, 'c': 1}, {'a': 0, 'b': 1, 'c': 0}, {'a': 0, 'b': 0, 'c': 1}, {'a': 0, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}, {'a': 1, 'b': 0, 'c': 1}], [['n1', None, 0], ['n3', None, 0]]], [['n1', None, 0, 0], ['n3', None, 0, 6]]), ('branch fault masked on its reader', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 0}, {'a': 1, 'b': 1, 'c': 1}], [['n1', 'n4', 0]]], [['n1', 'n4', 0, None]]), ('input fault masked downstream', [['a', 'b', 'c'], [['n1', 'nand', ['a', 'b']], ['n2', 'or', ['n1', 'c']], ['n3', 'not', ['n1']], ['n4', 'and', ['n1', 'b']], ['n5', 'nor', ['n3', 'c']]], ['n2', 'n4', 'n5'], [{'a': 1, 'b': 0, 'c': 1}, {'a': 1, 'b': 1, 'c': 0}], [['c', 'n5', 1]]], [['c', 'n5', 1, None]])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic bounded teaching model of one simulator rule set; the contract is stipulated and is not a claim of conformance to any HDL standard or commercial simulator. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-digital-logic-simulation-stuck-at-faultsim-fault-dropping","generated_at":"2026-09-29T14:51:13.497202+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Fault simulators grade test sets; stem/branch distinction and output comparison determine reported coverage.","root_cause":"The vector loop does not stop at the first detection, so later detections overwrite the index.","sha256":"20e2b2a1722382344818acdfd42a3fc0baf9b71078c1ce05a348488e3ffd0b04","title":"Detection index reports the last detecting vector · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.387,"exit_code":1,"observations":[{"actual":[["a",null,1,2]],"check":"primary input stuck-at-1","expected":[["a",null,1,1]],"passed":false},{"actual":[["b",null,0,2]],"check":"primary input stuck-at-0","expected":[["b",null,0,1]],"passed":false},{"actual":[["n1","n4",1,6]],"check":"fanout branch fault into n4","expected":[["n1","n4",1,5]],"passed":false},{"actual":[["n1","n2",0,2]],"check":"fanout branch fault into n2","expected":[["n1","n2",0,1]],"passed":false},{"actual":[["n4",null,1,1]],"check":"fault visible only at the second output","expected":[["n4",null,1,0]],"passed":false},{"actual":[["n2",null,0,1]],"check":"fault visible only at the first output","expected":[["n2",null,0,0]],"passed":false},{"actual":[["n1",null,0,1],["n3",null,0,3]],"check":"stem fault on internal net","expected":[["n1",null,0,0],["n3",null,0,2]],"passed":false},{"actual":[["n1","n4",0,null]],"check":"branch fault masked on its reader","expected":[["n1","n4",0,null]],"passed":true},{"actual":[["c","n5",1,2]],"check":"input fault masked downstream","expected":[["c","n5",1,1]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"primary input stuck-at-1\", \"actual\": [[\"a\", null, 1, 2]], \"expected\": [[\"a\", null, 1, 1]], \"passed\": false}, {\"check\": \"primary input stuck-at-0\", \"actual\": [[\"b\", null, 0, 2]], \"expected\": [[\"b\", null, 0, 1]], \"passed\": false}, {\"check\": \"fanout branch fault into n4\", \"actual\": [[\"n1\", \"n4\", 1, 6]], \"expected\": [[\"n1\", \"n4\", 1, 5]], \"passed\": false}, {\"check\": \"fanout branch fault into n2\", \"actual\": [[\"n1\", \"n2\", 0, 2]], \"expected\": [[\"n1\", \"n2\", 0, 1]], \"passed\": false}, {\"check\": \"fault visible only at the second output\", \"actual\": [[\"n4\", null, 1, 1]], \"expected\": [[\"n4\", null, 1, 0]], \"passed\": false}, {\"check\": \"fault visible only at the first output\", \"actual\": [[\"n2\", null, 0, 1]], \"expected\": [[\"n2\", null, 0, 0]], \"passed\": false}, {\"check\": \"stem fault on internal net\", \"actual\": [[\"n1\", null, 0, 1], [\"n3\", null, 0, 3]], \"expected\": [[\"n1\", null, 0, 0], [\"n3\", null, 0, 2]], \"passed\": false}, {\"check\": \"branch fault masked on its reader\", \"actual\": [[\"n1\", \"n4\", 0, null]], \"expected\": [[\"n1\", \"n4\", 0, null]], \"passed\": true}, {\"check\": \"input fault masked downstream\", \"actual\": [[\"c\", \"n5\", 1, 2]], \"expected\": [[\"c\", \"n5\", 1, 1]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.461,"exit_code":1,"observations":[{"actual":[["a",null,1,2]],"check":"primary input stuck-at-1","expected":[["a",null,1,1]],"passed":false},{"actual":[["b",null,0,5]],"check":"primary input stuck-at-0","expected":[["b",null,0,1]],"passed":false},{"actual":[["n1","n4",1,6]],"check":"fanout branch fault into n4","expected":[["n1","n4",1,5]],"passed":false},{"actual":[["n1","n2",0,7]],"check":"fanout branch fault into n2","expected":[["n1","n2",0,1]],"passed":false},{"actual":[["n4",null,1,7]],"check":"fault visible only at the second output","expected":[["n4",null,1,0]],"passed":false},{"actual":[["n2",null,0,7]],"check":"fault visible only at the first output","expected":[["n2",null,0,0]],"passed":false},{"actual":[["n1",null,0,6],["n3",null,0,2]],"check":"stem fault on internal net","expected":[["n1",null,0,0],["n3",null,0,2]],"passed":false},{"actual":[["n1","n4",0,null]],"check":"branch fault masked on its reader","expected":[["n1","n4",0,null]],"passed":true},{"actual":[["c","n5",1,1]],"check":"input fault masked downstream","expected":[["c","n5",1,1]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"primary input stuck-at-1\", \"actual\": [[\"a\", null, 1, 2]], \"expected\": [[\"a\", null, 1, 1]], \"passed\": false}, {\"check\": \"primary input stuck-at-0\", \"actual\": [[\"b\", null, 0, 5]], \"expected\": [[\"b\", null, 0, 1]], \"passed\": false}, {\"check\": \"fanout branch fault into n4\", \"actual\": [[\"n1\", \"n4\", 1, 6]], \"expected\": [[\"n1\", \"n4\", 1, 5]], \"passed\": false}, {\"check\": \"fanout branch fault into n2\", \"actual\": [[\"n1\", \"n2\", 0, 7]], \"expected\": [[\"n1\", \"n2\", 0, 1]], \"passed\": false}, {\"check\": \"fault visible only at the second output\", \"actual\": [[\"n4\", null, 1, 7]], \"expected\": [[\"n4\", null, 1, 0]], \"passed\": false}, {\"check\": \"fault visible only at the first output\", \"actual\": [[\"n2\", null, 0, 7]], \"expected\": [[\"n2\", null, 0, 0]], \"passed\": false}, {\"check\": \"stem fault on internal net\", \"actual\": [[\"n1\", null, 0, 6], [\"n3\", null, 0, 2]], \"expected\": [[\"n1\", null, 0, 0], [\"n3\", null, 0, 2]], \"passed\": false}, {\"check\": \"branch fault masked on its reader\", \"actual\": [[\"n1\", \"n4\", 0, null]], \"expected\": [[\"n1\", \"n4\", 0, null]], \"passed\": true}, {\"check\": \"input fault masked downstream\", \"actual\": [[\"c\", \"n5\", 1, 1]], \"expected\": [[\"c\", \"n5\", 1, 1]], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}