Better error-reporting in Parser

gleiss / rapid

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.

3 stars 6 forks source link

Better error-reporting in Parser #1

Closed gleiss closed 5 years ago

gleiss commented 5 years ago

Refactor assertion violations into meaningful parser feedback. Most important in practice: Feedback if term-symbol-argument-sorts and term-subterm-sorts differ.

gleiss commented 5 years ago

done