Details
-
Bug
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
-
Reviewed
Description
We can leverage {{InvariantChecker}}s to provide a more thorough validation of SLS-based tests. This patch introduces invariants checking during and at the end of the run.