luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-01 02:08:10 +02:00
Code Issues Packages Projects Releases Wiki Activity

%pdra: added an option -t for disabling trace reuse

Browse Source
This commit is contained in:
Yen-Sheng Ho
2017-03-31 15:34:21 -07:00
parent 04bd8631e0
commit 1531dd8ec5
5 changed files with 12 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/proof/pdr/pdrIncr.c
+3
View File
@@ -261,6 +261,9 @@ int IPdr_ManRebuildClauses( Pdr_Man_t * p, Vec_Vec_t * vClauses )
int RetValue = -1;
int nCubes = 0;
if ( vClauses == NULL )
return RetValue;
assert( Vec_VecSize(vClauses) >= 2 );
assert( Vec_VecSize(p->vClauses) == 0 );
Vec_VecExpand( p->vClauses, 1 );