## Refactor - [x] test against known output - [x] use classed conditions - [x] use attributes for classed conditions ## Add new - [x] `expect_error_relax()` - [x] existing examples in "invariants" - [x] use `verify_output()` for invariants - [x] usages that are not explicitly allowed in "invariants" - [x] warnings
Refactor
Add new
expect_error_relax()verify_output()for invariants