Line number -1 error #238
Description
In some of the error messages that print a line number, VeriSol reports a line number of -1. This can be seen in issue #237.
{{ message }}
In some of the error messages that print a line number, VeriSol reports a line number of -1. This can be seen in issue #237.