diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-18 14:38:02 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-18 14:38:02 +0700 |
commit | b71b5bbc233492321566551b7b5a69d99beaa297 (patch) | |
tree | 7f9035b43eea4ebd860a401ce5cdbdd08e12c586 /abc.rc | |
parent | 48ae2c448f66b9d4462472a5bc62924730612535 (diff) | |
download | abc-b71b5bbc233492321566551b7b5a69d99beaa297.tar.gz abc-b71b5bbc233492321566551b7b5a69d99beaa297.tar.bz2 abc-b71b5bbc233492321566551b7b5a69d99beaa297.zip |
Bug fix in CBA and PBA.
Diffstat (limited to 'abc.rc')
-rw-r--r-- | abc.rc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -116,6 +116,7 @@ alias choice2 "fraig_store; balance; fraig_store; resyn; fraig_store; resyn2 alias rwsat "st; rw -l; b -l; rw -l; rf -l" alias drwsat2 "st; drw; b -l; drw; drf; ifraig -C 20; drw; b -l; drw; drf" alias share "st; multi -m; fx; resyn2" +alias addinit "read_init; undc; strash; zero" # resubstitution scripts for the IWLS paper alias src_rw "st; rw -l; rwz -l; rwz -l" |