From ffcb4afbb50ccabad96ef3f102f32417b974c5de Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 20 Jun 2015 13:50:46 -0700 Subject: Supporting 'distinct' keyword in SMT-LIB parser. --- src/base/wlc/wlcReadSmt.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base') 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") ) -- cgit v1.2.3