CoSA icon indicating copy to clipboard operation
CoSA copied to clipboard

Published 20 hours ago • verified publisher icon cristian-mattarei

Parsing errors don’t give line numbers

Open makaimann opened this issue 5 years ago • 0 comments

Just a reminder for me to address this when there’s time. It would be nice if parsing errors gave a line number. Especially for STS/ETS files. This might be harder for problem/property/assumption files.

makaimann avatar Apr 25 '19 04:04 makaimann