summaryrefslogtreecommitdiffstats
path: root/abc.rc
diff options
context:
space:
mode:
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