.InvariantsCorecheck_throw
function defined in module
InvariantsCore
check_throw(invariant, input)
Check an invariant and provide a detailed error message if it does not pass. If it passes, return
nothing
. Use in tests in combination with
@test_nowarn
.
There is
1
method for check_throw:
check_throw(invariant, input)