#fault_sentence = 'add_faults ppo_ps_reg[11] -stuck 1'
# Test Pattern の 生成
settings = dict(nangate_db = '../data/Nangate/nangate45nm.db',
nangate_v = '../data/Nangate/nangate.v',
name = target,
clock = clock_judge(target),
vg = target + '_comb.vg',
stil = target + '_comb.stil',
pi_constraints = pi_constraints,
fault_sentence = fault_sentence
)
# 追加するFaultが無い時の処理
if len(fault_sentence) == 0 and pattern_num != before_num:
output_dict = SortMinTransition.make_initial_comb(target + '_base.stil')
p = {}
p['pi'] = input_pattern
p['po'] = output_pattern
output_dict.extend(SortMinTransition.pattern_to_file_comb([p]))
output_dict.extend(SortMinTransition.make_after_comb(target + '_base.stil'))
with open(target + '/' + str(pattern_num) + '_' + 'end_' + settings['stil'], 'w') as f:
for i in output_dict:
f.write(i)
with open(target + '/' + str(pattern_num) + '_' + 'start_' + settings['stil'], 'w') as f:
for i in output_dict:
f.write(i)
break
print('fault :' + fault_sentence)
# ループの終了
