This adds a function Check.checkStandaloneExp which allows checking a standalone expression (not an entire file). It allows working around #95 (and maybe #94) by first checking if the invariant parsed from a witness has valid AST and ignoring the invalid ones. This is better than having the respective crash come from deep within Goblint, where it's not obvious whose fault it is, and prevents garbage-in–garbage-out.
This adds a function
Check.checkStandaloneExp
which allows checking a standalone expression (not an entirefile
). It allows working around #95 (and maybe #94) by first checking if the invariant parsed from a witness has valid AST and ignoring the invalid ones. This is better than having the respective crash come from deep within Goblint, where it's not obvious whose fault it is, and prevents garbage-in–garbage-out.