From bbfc66fcf371e4b27a179fba86f4a43e75d42121 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 16 Jan 2016 12:35:04 +0100 Subject: icefuzz improvements (hacks for sbtimer device info) --- icetime/mktest.py | 1 - 1 file changed, 1 deletion(-) (limited to 'icetime/mktest.py') diff --git a/icetime/mktest.py b/icetime/mktest.py index ec33ec3..b56a12f 100644 --- a/icetime/mktest.py +++ b/icetime/mktest.py @@ -148,7 +148,6 @@ with open("%s.ys" % sys.argv[1], "w") as f: print("equiv_status -assert", file=f) assert os.system("bash ../icefuzz/icecube.sh %s.v" % sys.argv[1]) == 0 -os.rename("%s.tmp/outputs/netlist/top_timing.rpt" % sys.argv[1], "%s.rpt" % sys.argv[1]) os.rename("%s.v" % sys.argv[1], "%s_in.v" % sys.argv[1]) if False: -- cgit v1.2.3