diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-29 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-29 08:01:00 -0700 |
commit | 2b85f5ba649bcc81873697718fe8a9085d09c31d (patch) | |
tree | 66acda3d3e1bdfb224588ffe4b3ebf2737649101 /abc.rc | |
parent | 3c25decf65704916943b0569e6d0608072550a89 (diff) | |
download | abc-2b85f5ba649bcc81873697718fe8a9085d09c31d.tar.gz abc-2b85f5ba649bcc81873697718fe8a9085d09c31d.tar.bz2 abc-2b85f5ba649bcc81873697718fe8a9085d09c31d.zip |
Version abc50829
Diffstat (limited to 'abc.rc')
-rw-r--r-- | abc.rc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -32,7 +32,7 @@ alias wl write_blif alias wp write_pla alias cnf "st; renode -c; write_cnf" alias prove "st; renode -c; sat" -alias opt "b; renode; sop; b; ps" +alias opt "b; renode; b; ps" alias share "b; renode -m; fx; b; ps" -alias resyn "b; rwz; rfz; b; rwz; rfz; b; ps" +alias resyn "b; rw; rf; b; rwz; rfz; b; ps" |