Skip to content

A
abc
Commit 2761e5e3 by Yen-Sheng Ho
Options

small changes

parent 131a51a4
Showing with 0 additions and 2 deletions
src/base/wlc/wlcAbs.c
...@@ -1724,9 +1724,7 @@ int Wla_ManSolve( Wla_Man_t * pWla, Wlc_Par_t * pPars ) ...@@ -1724,9 +1724,7 @@ int Wla_ManSolve( Wla_Man_t * pWla, Wlc_Par_t * pPars )
printf( "\n" ); printf( "\n" );
printf( "Abstraction " ); printf( "Abstraction " );
if ( RetValue == 0 ) if ( RetValue == 0 )
{
printf( "resulted in a real CEX" ); printf( "resulted in a real CEX" );
}
else if ( RetValue == 1 ) else if ( RetValue == 1 )
printf( "is successfully proved" ); printf( "is successfully proved" );
else else
......
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