diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 12:41:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 12:41:19 -0700 |
| commit | 6c8c6aafc505afa9a10ea51d5d47aa898a2d8489 (patch) | |
| tree | fb781abf4a19d8e9e647c3b1313760d9df171a47 | |
| parent | 2df7443317be7655713cf9e5abb0b5aa87f643af (diff) | |
| download | abc-6c8c6aafc505afa9a10ea51d5d47aa898a2d8489.tar.gz abc-6c8c6aafc505afa9a10ea51d5d47aa898a2d8489.tar.bz2 abc-6c8c6aafc505afa9a10ea51d5d47aa898a2d8489.zip | |
Temporarily disabling new code.
| -rw-r--r-- | src/aig/gia/giaTtopt.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaTtopt.cpp b/src/aig/gia/giaTtopt.cpp index 99594afc..e5dff231 100644 --- a/src/aig/gia/giaTtopt.cpp +++ b/src/aig/gia/giaTtopt.cpp @@ -1211,11 +1211,13 @@ Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, c } #endif +extern "C" Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds ) { return NULL; } +extern "C" Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, char * pFileName, int nRarity ) { return NULL; |