Parser error for unknown reason

softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses

Other

13 stars 12 forks source link

Closed jevdplas closed 3 years ago

jevdplas commented 3 years ago

The Scheme parser cannot fully parse

test/WeiChenRompf2019/toplas98/lattice.scm
test/WeiChenRompf2019/toplas98/lattice-processed.scm for a yet unknown reason. Also note that the benchmarks use an unknown identifier void, but this cannot be the reason for this issue.

See previous comments on the issue here.