Uniqifying status file name in &gla.

src/aig/gia/giaAbsGla.c

@@ -2082,10 +2082,12 @@ int Gia_GlaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars, int fStartVta )
             // dump the model into file
             if ( p->pPars->fDumpVabs )
             {
+                char Command[1000];
                 Abc_FrameSetStatus( -1 );
                 Abc_FrameSetCex( NULL );
                 Abc_FrameSetNFrames( f+1 );
-                Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status gla.status" );
+                sprintf( Command, "write_status %s", Extra_FileNameGenericAppend((p->pPars->pFileVabs ? p->pPars->pFileVabs : "glabs.aig"), ".status") );
+                Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command );
                 Gia_GlaDumpAbsracted( p, pPars->fVerbose );
             }
         }

src/aig/gia/giaAbsGla2.c

@@ -1641,10 +1641,12 @@ int Ga2_ManPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
                 // dump the model into file
                 if ( p->pPars->fDumpVabs || p->pPars->fDumpMabs )
                 {
+                    char Command[1000];
                     Abc_FrameSetStatus( -1 );
                     Abc_FrameSetCex( NULL );
                     Abc_FrameSetNFrames( f+1 );
-                    Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status gla.status" );
+                    sprintf( Command, "write_status %s", Extra_FileNameGenericAppend((p->pPars->pFileVabs ? p->pPars->pFileVabs : "glabs.aig"), ".status") );
+                    Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command );
                     Ga2_GlaDumpAbsracted( p, pPars->fVerbose );
                 }
 

src/aig/gia/giaAbsVta.c

@@ -1683,10 +1683,12 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
         // dump the model
         if ( p->pPars->fDumpVabs && (f & 1) )
         {
+            char Command[1000];
             Abc_FrameSetStatus( -1 );
             Abc_FrameSetCex( NULL );
             Abc_FrameSetNFrames( f+1 );
-            Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status vta.status" );
+            sprintf( Command, "write_status %s", Extra_FileNameGenericAppend((p->pPars->pFileVabs ? p->pPars->pFileVabs : "vtabs.aig"), ".status") );
+            Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), Command );
             Gia_VtaDumpAbsracted( p, pPars->fVerbose );
         }
         // check if the number of objects is below limit