summaryrefslogtreecommitdiffstats
path: root/abc.rc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2006-08-20 08:01:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2006-08-20 08:01:00 -0700
commit2fd3c1a25bb7a7ce334d2de5bac96bce446855d8 (patch)
treebf7cdb446399d47863e9b88f11217293b10ad6ad /abc.rc
parenteb2a5b43a46b90f3c46b388f50ea0ca8918983aa (diff)
downloadabc-2fd3c1a25bb7a7ce334d2de5bac96bce446855d8.tar.gz
abc-2fd3c1a25bb7a7ce334d2de5bac96bce446855d8.tar.bz2
abc-2fd3c1a25bb7a7ce334d2de5bac96bce446855d8.zip
Version abc60820
Diffstat (limited to 'abc.rc')
-rw-r--r--abc.rc6
1 files changed, 4 insertions, 2 deletions
diff --git a/abc.rc b/abc.rc
index ea9dc7bc..29929f6b 100644
--- a/abc.rc
+++ b/abc.rc
@@ -2,8 +2,8 @@
#set check # checks intermediate networks
#set checkfio # prints warnings when fanins/fanouts are duplicated
#set checkread # checks new networks after reading from file
-#set backup # saves backup networks retrived by "undo" and "recall"
-#set savesteps 1 # sets the maximum number of backup networks to save
+set backup # saves backup networks retrived by "undo" and "recall"
+set savesteps 1 # sets the maximum number of backup networks to save
set progressbar # display the progress bar
# program names for internal calls
@@ -49,6 +49,8 @@ alias rb read_bench
alias ret retime
alias rp read_pla
alias rv read_verilog
+alias rvv read_ver
+alias rvl read_verlib
alias rsup read_super mcnc5_old.super
alias rlib read_library
alias rw rewrite