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

Adding alternative generalization procedure.

This commit is contained in:
Alan Mishchenko 2017-03-01 20:30:19 -08:00
parent 7747d89c90
commit f419f2e812
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/proof/pdr/pdrCore.c
View File

@ -638,6 +638,7 @@ int Pdr_ManGeneralize2( Pdr_Man_t * p, int k, Pdr_Set_t * pCube, Pdr_Set_t ** pp
// create a subset cube // create a subset cube
*ppCubeMin = Pdr_SetCreateSubset( pCube, Vec_IntArray(vLits1), Vec_IntSize(vLits1) ); *ppCubeMin = Pdr_SetCreateSubset( pCube, Vec_IntArray(vLits1), Vec_IntSize(vLits1) );
assert( !Pdr_SetIsInit(*ppCubeMin, -1) ); assert( !Pdr_SetIsInit(*ppCubeMin, -1) );
Order = 0;
return 0; return 0;
} }