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

Deriving CEX after phase/tempor/reparam.

This commit is contained in:
Alan Mishchenko 2012-12-09 08:19:00 -08:00
parent 0058cefee3
commit 79aa1f00d6
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/aig/gia/giaIso.c
View File

@ -1275,7 +1275,7 @@ void Gia_IsoTest( Gia_Man_t * p, Abc_Cex_t * pCex, int fVerbose )
assert( Gia_ManRegNum(p) > 0 );
// generate random permutation of PIs
vPiPerm = Gia_IsoTestGenPerm( Gia_ManPiNum(p) );
printf( "Considering random permutation of the AIG:\n" );
printf( "Considering random permutation of the primary inputs of the AIG:\n" );
Vec_IntPrint( vPiPerm );
// create AIG with two primary outputs (original and permuted)
pPerm = Gia_ManDupPerm( p, vPiPerm );