diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-17 14:54:35 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-17 14:54:35 -0700 |
commit | 3e9bc99e2451104886f9f7f2fd92b83d0eece98d (patch) | |
tree | 0c60420b12d3487928a3f293fc8be70f08b3554e /src/base/abci/abcRunGen.c | |
parent | f7a13e11ad95051a4890f333503876ac635fc4cf (diff) | |
download | abc-3e9bc99e2451104886f9f7f2fd92b83d0eece98d.tar.gz abc-3e9bc99e2451104886f9f7f2fd92b83d0eece98d.tar.bz2 abc-3e9bc99e2451104886f9f7f2fd92b83d0eece98d.zip |
Adding new command handler for experimental procedures.
Diffstat (limited to 'src/base/abci/abcRunGen.c')
-rw-r--r-- | src/base/abci/abcRunGen.c | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/src/base/abci/abcRunGen.c b/src/base/abci/abcRunGen.c new file mode 100644 index 00000000..9130fdad --- /dev/null +++ b/src/base/abci/abcRunGen.c @@ -0,0 +1,55 @@ +/**CFile**************************************************************** + + FileName [abcRunGen.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Network and node package.] + + Synopsis [Interface to experimental procedures.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: abcRunGen.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "base/abc/abc.h" +#include "opt/cut/cut.h" + +ABC_NAMESPACE_IMPL_START + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Acb_NtkRunGen( char * pFileNames[2], int fVerbose ) +{ +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |