luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixing a typo in Kissat integration.

This commit is contained in:
Alan Mishchenko 2025-03-05 10:30:16 -08:00
parent b9b8ff47e3
commit 2126cb3ca1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/sat/kissat/kissatSolver.c
View File

@ -230,7 +230,7 @@ Vec_Int_t * kissat_solve_cnf( Cnf_Dat_t * pCnf, char * pArgs, int nConfs, int nT
if ( RetValue == 1 ) {
vRes = Vec_IntAlloc( pCnf->nVars );
for ( i = 0; i < pCnf->nVars; i++ )
Vec_IntPush( vRes, kissat_solver_get_var_value(pSat, 1) );
Vec_IntPush( vRes, kissat_solver_get_var_value(pSat, i) );
}
kissat_solver_delete(pSat);
Abc_PrintTime( 1, "Time", Abc_Clock() - clk );