diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 23:33:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 23:33:58 -0700 |
| commit | fa48d46b82e58cff1b5c965658349be3b6f53d58 (patch) | |
| tree | e11fb6163f91676cdfee3789ddb6cca1c6cb1056 /src/base/abci/abc.c | |
| parent | 102782a5a1cd9e9a59b87810e04d78b838976ae1 (diff) | |
| parent | f18b0254c82da1ecdccb910f7b38aadfa93e7a05 (diff) | |
| download | abc-fa48d46b82e58cff1b5c965658349be3b6f53d58.tar.gz abc-fa48d46b82e58cff1b5c965658349be3b6f53d58.tar.bz2 abc-fa48d46b82e58cff1b5c965658349be3b6f53d58.zip | |
Merged in lj/abc-lj/unfold2-dev (pull request #6)
pull request for unfold2
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 2323ac36..05a03aca 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -295,6 +295,8 @@ static int Abc_CommandInduction ( Abc_Frame_t * pAbc, int argc, cha static int Abc_CommandConstr ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandUnfold ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandFold ( Abc_Frame_t * pAbc, int argc, char ** argv ); +static int Abc_CommandUnfold2 ( Abc_Frame_t * pAbc, int argc, char ** argv ); +static int Abc_CommandFold2 ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandBm ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandBm2 ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandSaucy ( Abc_Frame_t * pAbc, int argc, char ** argv ); @@ -871,6 +873,8 @@ void Abc_Init( Abc_Frame_t * pAbc ) Cmd_CommandAdd( pAbc, "Verification", "constr", Abc_CommandConstr, 0 ); Cmd_CommandAdd( pAbc, "Verification", "unfold", Abc_CommandUnfold, 1 ); Cmd_CommandAdd( pAbc, "Verification", "fold", Abc_CommandFold, 1 ); + Cmd_CommandAdd( pAbc, "Verification", "unfold2", Abc_CommandUnfold2, 1 ); // jlong + Cmd_CommandAdd( pAbc, "Verification", "fold2", Abc_CommandFold2, 1 ); // jlong Cmd_CommandAdd( pAbc, "Verification", "bm", Abc_CommandBm, 1 ); Cmd_CommandAdd( pAbc, "Verification", "bm2", Abc_CommandBm2, 1 ); Cmd_CommandAdd( pAbc, "Verification", "saucy3", Abc_CommandSaucy, 1 ); @@ -35347,5 +35351,5 @@ usage: /// END OF FILE /// //////////////////////////////////////////////////////////////////////// - +#include "abciUnfold2.c" ABC_NAMESPACE_IMPL_END |