Some of the regression tests that were running fine with the initial check in now fail. Some reasons I could identify are - system contracts have been updated, so there are sometimes different/new messages - the messages are the same, but the IL offsets have shifted (maybe due to rewriter fixes) Regression tests are located in folder `Regressions\Clousot`, projects `ClousotTests` and `ClousotCacheTests`. All tests are named `Analyze*` or `Slice*`
Some of the regression tests that were running fine with the initial check in now fail.
Some reasons I could identify are
Regression tests are located in folder
Regressions\Clousot, projectsClousotTestsandClousotCacheTests. All tests are namedAnalyze*orSlice*