Columpio / SMTLIB2

SMTLIB2 bindings for FSharp

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

sequential parsing

ndreuu opened this issue · comments

Парсинг одного и того же файла разными парсерами дает разный результат
Report

Нужно создавать парсер с аргументом false = "не переопределять входные идентификаторы"
Если заменить в тесте Parser() на Parser(false), он проходит.