`PureSMT.SExpr`: fix parsing of s-expressions

tweag / pirouette

Language-generic workbench for building static analysis

MIT License

47 stars 2 forks source link

`PureSMT.SExpr`: fix parsing of s-expressions #161

Closed qaristote closed 1 year ago

qaristote commented 1 year ago

The current version of readSExpr doesn't handle all edge cases. This PR fixes this and introduces a bunch of tests to ensure it doesn't break again.