Skip to content

A
abc
Commit d49bb366 by Alan Mishchenko
Options

New command &rexwalk.

parent d0af09a2
Showing with 2 additions and 0 deletions
src/aig/gia/giaRex.c
......@@ -27,6 +27,8 @@ ABC_NAMESPACE_IMPL_START
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
extern void Extra_PrintBinary( FILE * pFile, unsigned Sign[], int nBits );
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment