This PR fixes the early exit logic for assert_true and assert_false.
It also adds tests for both functions.
:warning: This PR also introduces a small change to dr.print: in a symbolic context, if all lanes are masked, no message will be printed. Previously. it would always print a message, even if all lanes were maked. This change is necessary, as without it the assertion failure message would still have been printed even if all lanes fulfilled the assertion.
This PR fixes the early exit logic for
assert_trueandassert_false. It also adds tests for both functions.:warning: This PR also introduces a small change to
dr.print: in a symbolic context, if all lanes are masked, no message will be printed. Previously. it would always print a message, even if all lanes were maked. This change is necessary, as without it the assertion failure message would still have been printed even if all lanes fulfilled the assertion.