Skip to content

A
abc
Commit 58c81ec0 by Alan Mishchenko
Options

Improving SMT-LIB parser.

parent c688d1b1
Showing with 1 additions and 1 deletions
src/base/wlc/wlcReadSmt.c
......@@ -157,7 +157,7 @@ static inline int Smt_StrToType( char * pName, int * pfSigned )
Type = WLC_OBJ_BIT_NAND; // 16: bitwise NAND
else if ( !strcmp(pName, "bvnor") )
Type = WLC_OBJ_BIT_NOR; // 17: bitwise NOR
else if ( !strcmp(pName, "bvnxor") )
else if ( !strcmp(pName, "bvxnor") )
Type = WLC_OBJ_BIT_NXOR; // 18: bitwise NXOR
else if ( !strcmp(pName, "extract") )
Type = WLC_OBJ_BIT_SELECT; // 19: bit selection
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment