- edited description
Make spacing in grammar consistent
Issue #7
new
Spacing in the SMTLIB2 grammar was inconsistent in the previous versions. Commit [https://bitbucket.org/franck44/scalasmt/commits/3ad8a49e35e049c8a5e44a86ffe06ab0b144e644] fixes the problem for most of the terms except:
- let
- forall
- exists
What is needed is a (X sp)++ construct in sbt-rats to have spacing between terms. Once sbt-rats is updated with this new feature, the let/forall/exists terms can be easily nicely pretty-printed.
@inkytonik : thanks for this great job!
Comments (1)
-
reporter - Log in to comment