diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-20 13:50:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-20 13:50:46 -0700 |
| commit | ffcb4afbb50ccabad96ef3f102f32417b974c5de (patch) | |
| tree | c2da7547eb52d8bec8b72feb460599bdf1ebecd6 | |
| parent | 4b7dd69260f5347e3ae1c92b3d7f18a9ca1c05c0 (diff) | |
| download | abc-ffcb4afbb50ccabad96ef3f102f32417b974c5de.tar.gz abc-ffcb4afbb50ccabad96ef3f102f32417b974c5de.tar.bz2 abc-ffcb4afbb50ccabad96ef3f102f32417b974c5de.zip | |
Supporting 'distinct' keyword in SMT-LIB parser.
| -rw-r--r-- | src/base/wlc/wlcReadSmt.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index 0e8e1e06..0a062453 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -168,8 +168,8 @@ static inline int Smt_StrToType( char * pName, int * pfSigned ) Type = WLC_OBJ_LOGIC_XOR; // 26: logic OR else if ( !strcmp(pName, "bvcomp") ) Type = WLC_OBJ_COMP_EQU; // 27: compare equal -// else if ( !strcmp(pName, "") ) -// Type = WLC_OBJ_COMP_NOTEQU; // 28: compare not equal + else if ( !strcmp(pName, "distinct") ) + Type = WLC_OBJ_COMP_NOTEQU; // 28: compare not equal else if ( !strcmp(pName, "bvult") ) Type = WLC_OBJ_COMP_LESS; // 29: compare less else if ( !strcmp(pName, "bvugt") ) |