franck44 / scalaSMT / issues / #13 - Identifiers with leading @ and trading @xx with xx a number are not parsed as ISymbol but SSymbol — Bitbucket

Issue #13 resolved

Franck Cassez repo owner created an issue 2018-02-27

When using identifiers of the form @v@10, the SMTLIB2 grammar parses them as SSymbol rather ISymbol.

Comments (2)

Franck Cassez reporter
- edited description
- 2018-02-27T20:14:45+00:00
Franck Cassez reporter
- changed status to resolved
Allow leading @ symbol in ISymbol (Indexed symbol)

fixes ~~#13~~

→ <<cset 5412cb0a6fbe>>
- 2018-02-27T20:15:16+00:00
Log in to comment

Assignee: Franck Cassez

Type: bug

Priority: major

Status: resolved

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!