search

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Improve parser error handling #66

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

Closes #65 by providing an error that lets us clearly identify the source of the problem (on the basis of an overhaul of the error handling in this part of the code).