diff options
Diffstat (limited to 'src/sat/bmc/bmcMaj3.c')
| -rw-r--r-- | src/sat/bmc/bmcMaj3.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sat/bmc/bmcMaj3.c b/src/sat/bmc/bmcMaj3.c index e35b2e87..8a5b3d16 100644 --- a/src/sat/bmc/bmcMaj3.c +++ b/src/sat/bmc/bmcMaj3.c @@ -948,10 +948,12 @@ static void Zyx_ManPrintSolution( Zyx_Man_t * p, int fCompl ) printf( "(" ); for ( k = 0; k < i; k++ ) if ( bmcg_sat_solver_read_cex_varvalue(p->pSat, Zyx_TopoVar(p, i, k)) ) + { if ( k >= 0 && k < p->pPars->nVars ) printf( " %c", 'a'+k ); else printf( " %02d", k ); + } printf( " )\n" ); } } |