Preventing command history from being overwritten by internal scripts.

1 files changed, 16 insertions, 3 deletions

diff --git a/src/aig/gia/giaDeep.c b/src/aig/gia/giaDeep.c
index aa9e9cb2..eecc598a 100644
--- a/src/aig/gia/giaDeep.c
+++ b/src/aig/gia/giaDeep.c
@@ -74,10 +74,23 @@ Gia_Man_t * Gia_ManDeepSynOne( int nNoImpr, int TimeOut, int nAnds, int Seed, in
             pComp = "; &dc2";
         sprintf( Command, "&dch%s; &if -a -K %d; &mfs -e -W 20 -L 20%s%s",
             fDch ? " -f" : "", KLut, fFx ? "; &fx" : "", pComp );
-        if ( Cmd_CommandExecute(Abc_FrameGetGlobalFrame(), Command) )
+        if ( Abc_FrameIsBatchMode() )
         {
-            Abc_Print( 1, "Something did not work out with the command \"%s\".\n", Command );
-            return NULL;
+            if ( Cmd_CommandExecute(Abc_FrameGetGlobalFrame(), Command) )
+            {
+                Abc_Print( 1, "Something did not work out with the command \"%s\".\n", Command );
+                return NULL;
+            }
+        }
+        else
+        {
+            Abc_FrameSetBatchMode( 1 );
+            if ( Cmd_CommandExecute(Abc_FrameGetGlobalFrame(), Command) )
+            {
+                Abc_Print( 1, "Something did not work out with the command \"%s\".\n", Command );
+                return NULL;
+            }
+            Abc_FrameSetBatchMode( 0 );
         }
         pTemp = Abc_FrameReadGia(Abc_FrameGetGlobalFrame());
         if ( Gia_ManAndNum(pNew) > Gia_ManAndNum(pTemp) )