diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-09 19:50:05 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-09 19:50:05 +0700 |
| commit | fbdf28e4c937067737d84db37ff6e1a65348df5f (patch) | |
| tree | 562036110ed054b87a7dd1729a0b5b6dc7ff182f /src/proof/acec/acecPa.c | |
| parent | ab6a87a4db2b2d9b188c09d9142b96503261e9ce (diff) | |
| download | abc-fbdf28e4c937067737d84db37ff6e1a65348df5f.tar.gz abc-fbdf28e4c937067737d84db37ff6e1a65348df5f.tar.bz2 abc-fbdf28e4c937067737d84db37ff6e1a65348df5f.zip | |
Updated to arithmetic verification.
Diffstat (limited to 'src/proof/acec/acecPa.c')
| -rw-r--r-- | src/proof/acec/acecPa.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/proof/acec/acecPa.c b/src/proof/acec/acecPa.c index ecaf2047..b59cdbef 100644 --- a/src/proof/acec/acecPa.c +++ b/src/proof/acec/acecPa.c @@ -273,6 +273,22 @@ void Pas_ManComputeCutsTest( Gia_Man_t * p ) Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Acec_Box_t * Acec_DeriveBox( Gia_Man_t * p ) +{ + return NULL; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |