diff options
Diffstat (limited to 'regtest.script')
-rw-r--r-- | regtest.script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/regtest.script b/regtest.script index f8a4ea17..a4461e7f 100644 --- a/regtest.script +++ b/regtest.script @@ -8,5 +8,5 @@ r examples/s444.blif; b; esd -v; dsd; cec; ps r examples/i10.blif; fpga; cec; ps; u; map; cec; ps r examples/i10.blif; choice; fpga; cec; ps; u; map; cec; ps r examples/s6669.blif; fpga; ps; sec; u; sfpga; ps; sec; u; fpga; ret; ps; sec -r examples/s5378.blif; map -s; ps; sec; u; smap; ps; sec; u; map; ret; ps; sec +#r examples/s5378.blif; map -s; ps; sec; u; smap; ps; sec; u; map; ret; ps; sec time |