summaryrefslogtreecommitdiffstats
path: root/abc.rc
diff options
context:
space:
mode:
Diffstat (limited to 'abc.rc')
-rw-r--r--abc.rc4
1 files changed, 2 insertions, 2 deletions
diff --git a/abc.rc b/abc.rc
index e2a59b51..9cfd5fca 100644
--- a/abc.rc
+++ b/abc.rc
@@ -2,7 +2,7 @@
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 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
@@ -53,7 +53,7 @@ alias rb read_bench
alias ret retime
alias rp read_pla
alias rt read_truth
-alias rv read_ver
+alias rv read_verilog
alias rvl read_verlib
alias rsup read_super mcnc5_old.super
alias rlib read_library