diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-01-15 18:25:02 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-01-15 18:25:02 +0100 |
| commit | 0cfb6eed910091584a1bbd5cc5a35c6634e1c55e (patch) | |
| tree | 9112042a77c3977fba84d492821969847616ba2d /icetime/mktest.py | |
| parent | d939d1b92f6e1a46aa8a573d3f7d19cc8e342950 (diff) | |
icetime progress
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: |