Skip to content

A
abc
Commit 7da6ef1c by Niklas Een
Options

Removed CEX communication through bridge in Abc_FrameReplaceCex

parent e353c4b7
Showing with 0 additions and 7 deletions
src/base/abci/abc.c
...@@ -399,12 +399,6 @@ extern int Abc_CommandAbcLivenessToSafetyWithLTL( Abc_Frame_t * pAbc, int argc, ...@@ -399,12 +399,6 @@ extern int Abc_CommandAbcLivenessToSafetyWithLTL( Abc_Frame_t * pAbc, int argc,
***********************************************************************/ ***********************************************************************/
void Abc_FrameReplaceCex( Abc_Frame_t * pAbc, Abc_Cex_t ** ppCex ) void Abc_FrameReplaceCex( Abc_Frame_t * pAbc, Abc_Cex_t ** ppCex )
{ {
// update bridge
if ( Abc_FrameIsBridgeMode() )
{
extern int Gia_ManToBridgeResult( FILE * pFile, int Result, Abc_Cex_t * pCex );
Gia_ManToBridgeResult( stdout, pAbc->Status, *ppCex );
}
// update CEX // update CEX
ABC_FREE( pAbc->pCex ); ABC_FREE( pAbc->pCex );
pAbc->pCex = *ppCex; pAbc->pCex = *ppCex;
...@@ -29721,4 +29715,3 @@ usage: ...@@ -29721,4 +29715,3 @@ usage:
ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_END
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment