1 files changed, 2 insertions, 0 deletions
diff --git a/abc.rc b/abc.rc
index aff51d6d..cd7011e4 100644
--- a/abc.rc
+++ b/abc.rc
@@ -133,4 +133,6 @@ alias pjsolve   "scl; dc2; fr; dc2; ic; ic -t; if -a; cs tacas/005_care.aig; mfs
 alias t0        "r test/mc1.blif; st; test"
 alias t1        "r s27mc2.blif; st; test"
 alias t2        "r i/intel_001.aig; ps; indcut -v"
+alias t         "r c\s\0\000.aig; int"
+#alias t         "r test/interpol.blif; st; int"