Soft assertions

[bjuric]

Assertions modes for Gwen

This PR introduces the following assertion modes through the following Gwen setting:

• gwen.assertion.mode
  • Determines whether or not hard, soft or sustained assertions are enabled. Valid values include:
  • hard to halt execution on first assertion error and report failure (default)
  • soft to collect all assertion errors and continue execution whilst reporting them as failures
  • sustained to collect all assertion errors and continue execution without reporting them as failures

Example Reports

Hard assertions (default)

Soft assertions

Sustained assertions