1 2 3 4 5 6
tracecmp.smt2 tracecmp.yslog notrap_validop.smt2 notrap_validop.yslog output.vcd output.smtc