From d07608c052cb673f4aef8096b5ad71dd662214cc Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 22 Apr 2019 12:14:31 -0700
Subject: Adding the possibility to specify file name in 'pdr'.

---
 src/proof/pdr/pdrIncr.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/pdr/pdrIncr.c')

diff --git a/src/proof/pdr/pdrIncr.c b/src/proof/pdr/pdrIncr.c
index 186791b2..f4f2c8c8 100644
--- a/src/proof/pdr/pdrIncr.c
+++ b/src/proof/pdr/pdrIncr.c
@@ -843,7 +843,7 @@ int IPdr_ManSolve( Aig_Man_t * pAig, Pdr_Par_t * pPars )
         }
         if ( p->pPars->fDumpInv )
         {
-            char * pFileName = Extra_FileNameGenericAppend(p->pAig->pName, "_inv.pla");
+            char * pFileName = pPars->pInvFileName ? pPars->pInvFileName : Extra_FileNameGenericAppend(p->pAig->pName, "_inv.pla");
                 Abc_FrameSetInv( Pdr_ManDeriveInfinityClauses( p, RetValue!=1 ) );
                 Pdr_ManDumpClauses( p, pFileName, RetValue==1 );
         }
-- 
cgit v1.2.3