From 0cfb6eed910091584a1bbd5cc5a35c6634e1c55e Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 15 Jan 2016 18:25:02 +0100 Subject: icetime progress --- icetime/mktest.py | 1 + 1 file changed, 1 insertion(+) (limited to 'icetime/mktest.py') diff --git a/icetime/mktest.py b/icetime/mktest.py index b56a12f..ec33ec3 100644 --- a/icetime/mktest.py +++ b/icetime/mktest.py @@ -148,6 +148,7 @@ 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