diff options
Diffstat (limited to 'icetime/mktest.py')
| -rw-r--r-- | icetime/mktest.py | 1 |
1 files changed, 1 insertions, 0 deletions
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: |