This PR correctly sets the cached flag for cached errors to true. Furthermore, several unit tests have been added including a check that cache results are not mixed up between backends (in an attempt to understand Silicon Issue #550 which is however not solved yet.
Additionally, Boogie has been added to the CI such that tests involving Carbon can be executed
This PR correctly sets the
cached
flag for cached errors totrue
. Furthermore, several unit tests have been added including a check that cache results are not mixed up between backends (in an attempt to understand Silicon Issue #550 which is however not solved yet. Additionally, Boogie has been added to the CI such that tests involving Carbon can be executed