From 73bb7932f7edad95086d67a795444537c438309e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Oct 2006 08:01:00 -0700
Subject: Version abc61007

---
 abc.rc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'abc.rc')

diff --git a/abc.rc b/abc.rc
index 26da416f..f31053ed 100644
--- a/abc.rc
+++ b/abc.rc
@@ -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"
 
 
 
-- 
cgit v1.2.3