Improve parsing of TIP files, add regression suite (!45) · Merge requests · LARA / inox

Viktor Kuncak requested to merge parser into master Oct 11, 2017

Created by: mantognini

See discussion in epfl-lara/stainless#81. I just fixed the one I've found, more cases might still be missing, but at least the tip files generated for stainless valid verification suite are all successfully parsed.

Improve parsing of TIP files, add regression suite

Merge request reports