diff options
| author | Jiang Long <jiang_long@apple.com> | 2014-06-04 22:49:44 -0700 |
|---|---|---|
| committer | Jiang Long <jiang_long@apple.com> | 2014-06-04 22:49:44 -0700 |
| commit | fcbd6f83ecd48903f1868d0cf3997a3ced73f665 (patch) | |
| tree | 7c3ddced10b0325f96703c5e2bf81e76c7520ec5 /src/base/abci/abc.c | |
| parent | 574af21208f9c33c17a8b2c9c2c32ba1e4d0b772 (diff) | |
| download | abc-fcbd6f83ecd48903f1868d0cf3997a3ced73f665.tar.gz abc-fcbd6f83ecd48903f1868d0cf3997a3ced73f665.tar.bz2 abc-fcbd6f83ecd48903f1868d0cf3997a3ced73f665.zip | |
the latest version
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 63cc04b8..37d0a014 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -294,8 +294,9 @@ static int Abc_CommandTempor ( Abc_Frame_t * pAbc, int argc, cha static int Abc_CommandInduction ( Abc_Frame_t * pAbc, int argc, char ** argv ); 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_CommandUnfold2 ( 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,9 +872,9 @@ void Abc_Init( Abc_Frame_t * pAbc ) Cmd_CommandAdd( pAbc, "Verification", "ind", Abc_CommandInduction, 0 ); Cmd_CommandAdd( pAbc, "Verification", "constr", Abc_CommandConstr, 0 ); Cmd_CommandAdd( pAbc, "Verification", "unfold", Abc_CommandUnfold, 1 ); - - Cmd_CommandAdd( pAbc, "Verification", "unfold2", Abc_CommandUnfold2, 1 ); // jlong 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 ); @@ -35350,5 +35351,5 @@ usage: /// END OF FILE /// //////////////////////////////////////////////////////////////////////// -#include "abciUnfold2.c" + ABC_NAMESPACE_IMPL_END |