Updating old script.

1c245b4a · Alan Mishchenko · 2de8f04c · 1c245b4a
Commit 1c245b4a authored Apr 30, 2016 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

abc.rc
+1 -1

No files found.
--- a/abc.rc
+++ b/abc.rc
@@ -117,7 +117,7 @@ alias choice      "fraig_store; resyn; fraig_store; resyn2; fraig_store; fraig_r
 alias choice2     "fraig_store; balance; fraig_store; resyn; fraig_store; resyn2; fraig_store; resyn2; fraig_store; fraig_restore"
 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 share       "st; multi -m; sop; fx; resyn2"
 alias addinit     "read_init; undc; strash; zero"
 alias blif2aig    "undc; strash; zero"
 alias v2p         "&vta_gla; &ps; &gla_derive; &put; w 1.aig; pdr -v"