From a2d33837bc0499b1e6a038c297ddf854abe760c4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 9 Apr 2020 09:51:46 -0700
Subject: Adding option to &saveaig to compare AIGs by node count.

---
 src/base/abci/abc.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/base/abci')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index f9d7ed4c..5dab06f8 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -30619,6 +30619,9 @@ int Abc_CommandAbc9SaveAig( Abc_Frame_t * pAbc, int argc, char ** argv )
     {
         switch ( c )
         {
+        case 'a':
+            fArea ^= 1;
+            break;
         case 'h':
             goto usage;
         default:
-- 
cgit v1.2.3