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