- edited description
Identifiers with leading @ and trading @xx with xx a number are not parsed as ISymbol but SSymbol
Issue #13
resolved
When using identifiers of the form @v@10
, the SMTLIB2 grammar parses them as SSymbol rather ISymbol.
Comments (2)
-
reporter -
reporter - changed status to resolved
- Log in to comment