diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-27 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-27 08:01:00 -0700 |
| commit | 9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff (patch) | |
| tree | a2d15a88daf45a5e4ce8d746c414daa744c5350a /src/aig/fra/fra.h | |
| parent | 5b79c7898356740c9678d5cf043d6bbc304dc7b4 (diff) | |
| download | abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.tar.gz abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.tar.bz2 abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.zip | |
Version abc80527
Diffstat (limited to 'src/aig/fra/fra.h')
| -rw-r--r-- | src/aig/fra/fra.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/fra/fra.h b/src/aig/fra/fra.h index 7cb846fa..7549dfca 100644 --- a/src/aig/fra/fra.h +++ b/src/aig/fra/fra.h @@ -370,8 +370,9 @@ extern Fra_Sml_t * Fra_SmlSimulateComb( Aig_Man_t * pAig, int nWords ); extern Fra_Cex_t * Fra_SmlGetCounterExample( Fra_Sml_t * p ); extern Fra_Cex_t * Fra_SmlCopyCounterExample( Aig_Man_t * pAig, Aig_Man_t * pFrames, int * pModel ); extern void Fra_SmlFreeCounterExample( Fra_Cex_t * p ); -extern int Fra_SmlRunCounterExample( Aig_Man_t * pAig, Fra_Cex_t * p ); extern Fra_Cex_t * Fra_SmlTrivCounterExample( Aig_Man_t * pAig, int iFrameOut ); +extern int Fra_SmlRunCounterExample( Aig_Man_t * pAig, Fra_Cex_t * p ); +extern int Fra_SmlWriteCounterExample( FILE * pFile, Aig_Man_t * pAig, Fra_Cex_t * p ); #ifdef __cplusplus } |