diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-15 17:30:39 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-15 17:30:39 -0800 |
| commit | 36e5badf055e28a0f6560e9e55bfc4e1df6fec79 (patch) | |
| tree | 9a7f8c048fc9bd1c865b9cd571145220cfae990b /src/base/abci/abc.c | |
| parent | 1779f545e3637c85b02bf4b66bf839ca27eb5355 (diff) | |
| download | abc-36e5badf055e28a0f6560e9e55bfc4e1df6fec79.tar.gz abc-36e5badf055e28a0f6560e9e55bfc4e1df6fec79.tar.bz2 abc-36e5badf055e28a0f6560e9e55bfc4e1df6fec79.zip | |
Procedure to trasnsform counter-examples.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 84c39e01..7adc8ca2 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -1237,8 +1237,8 @@ void Abc_Init( Abc_Frame_t * pAbc ) Cmd_CommandAdd( pAbc, "Liveness", "kcs", Abc_CommandCS_kLiveness, 0 ); Cmd_CommandAdd( pAbc, "Liveness", "nck", Abc_CommandNChooseK, 0 ); - Cmd_CommandAdd( pAbc, "ABC9", "gen", Abc_CommandAbc9Gen, 0 ); - Cmd_CommandAdd( pAbc, "ABC9", "cfs", Abc_CommandAbc9Cfs, 0 ); + Cmd_CommandAdd( pAbc, "ABC9", "&gen", Abc_CommandAbc9Gen, 0 ); + Cmd_CommandAdd( pAbc, "ABC9", "&cfs", Abc_CommandAbc9Cfs, 0 ); Cmd_CommandAdd( pAbc, "ABC9", "&test", Abc_CommandAbc9Test, 0 ); { |