diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-10-07 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-10-07 08:01:00 -0700 |
commit | 73bb7932f7edad95086d67a795444537c438309e (patch) | |
tree | 43ce6255913e15ecb3f4f8a41ac531d6679ddcf1 /abc.rc | |
parent | 0da555cb481696efd78d9c5dc6293b6a95d1ffd5 (diff) | |
download | abc-73bb7932f7edad95086d67a795444537c438309e.tar.gz abc-73bb7932f7edad95086d67a795444537c438309e.tar.bz2 abc-73bb7932f7edad95086d67a795444537c438309e.zip |
Version abc61007
Diffstat (limited to 'abc.rc')
-rw-r--r-- | abc.rc | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -48,8 +48,7 @@ alias rl read_blif alias rb read_bench alias ret retime alias rp read_pla -alias rv read_verilog -alias rvv read_ver +alias rv read_ver alias rvl read_verlib alias rsup read_super mcnc5_old.super alias rlib read_library @@ -100,7 +99,8 @@ alias compress2rs "b -l; rs -K 6 -l; rw -l; rs -K 6 -N 2 -l; rf -l; rs -K 8 -l; # temporaries #alias test "rvl th/lib.v; rvv th/t2.v" -alias test "so c/pure_sat/test.c" +#alias test "so c/pure_sat/test.c" +alias test "r c/14/csat_998.bench; st; ps" |