# outfile.write("{}@0\n".format(node.num))
# outfile.write("{}@1\n".format(node.num))
# outfile.close()
circuit = Circuit(args.ckt)
LoadCircuit(circuit, "ckt")
circuit.lev()
######### START OF SSTA
circuit.SSTA()
######### END OF SSTA
dfs = DFS(circuit)
all_faults = set()
for x in range(args.tp):
tp = circuit.gen_tp()
temp = dfs.single(tp)
all_faults = temp.union(all_faults)
nd_faults = []
for node in circuit.nodes_lev:
for x in [0, 1]:
fault = (str(node.num), x)
if fault not in all_faults:
nd_faults.append("{}@{}".format(node.num, x))
print("Circuit {}, TP {}".format(args.ckt, args.tp))
print("{}/{}".format(len(all_faults), len(circuit.nodes_lev) * 2))
print(",".join(nd_faults))
# generate 10 random test patterns and corresponding results
# for i in range(1, 11):
# dfs.fs_exe_golden(tp_num=1, t_mode='rand', no=i, r_mode='b')
