From a2fcd0710d22d79ef238e1cb9ef328ce94fa5000 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 6 Jan 2017 11:52:00 +0700
Subject: Creating file name from design name for PDR invariant.

---
 src/proof/pdr/pdrCore.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c
index c020c56a..66cae36e 100644
--- a/src/proof/pdr/pdrCore.c
+++ b/src/proof/pdr/pdrCore.c
@@ -922,10 +922,11 @@ int Pdr_ManSolve( Aig_Man_t * pAig, Pdr_Par_t * pPars )
     }
     if ( p->pPars->fDumpInv )
     {
+        char * pFileName = Extra_FileNameGenericAppend(p->pAig->pName, "_inv.pla");
         Abc_FrameSetCnf( Pdr_ManDeriveInfinityClauses( p, RetValue!=1 ) );
         Abc_FrameSetStr( Pdr_ManDumpString(p) );
         Abc_FrameSetInv( Pdr_ManCountFlopsInv(p) );
-        Pdr_ManDumpClauses( p, (char *)"inv.pla", RetValue==1 );
+        Pdr_ManDumpClauses( p, pFileName, RetValue==1 );
     }
     p->tTotal += Abc_Clock() - clk;
     Pdr_ManStop( p );
-- 
cgit v1.2.3