Support assertion trigger testing

[mqtthiqs]

Hello and thanks for your great work.

Is testing for assertion triggering supported? I'm using Catch2 and would like to test that a function is asserting as expected with incorrect input. Something like:

REQUIRE_ASSERT(f(-1));

maybe with some kind of matching on the particular assertion message.

[jeremy-rifkin]

Hello,
There's nothing in libassert for this currently, however, I would expect this to be fairly easily implementable with a custom exception handler that throws and then either REQUIRE_THROWS_WITH or REQUIRE_THROWS_MATCHES. I'd be happy to add something to libassert/assert-catch2.hpp for this or accept a PR to add something for this.

[jeremy-rifkin]

I added a basic REQUIRE_ASSERT in 3322a0b. I'm not sure the best way to do something with matchers.

[mqtthiqs]

Great, thank you! Will test this.

Slightly tangential follow-up question: will this work if the call stack contains a noexcept function? ie. are you directly throwing at the call site, or inside a std::terminate handler?

[jeremy-rifkin]

Unfortunately I'm not sure how to do something that would be resilient against noexcept. The only ways I'm thinking of to test this are either unwinding or some sort of death test, but I don't think catch2 has infrastructure for death tests catchorg/Catch2#853.

[mqtthiqs]

Ok, thanks for the answer and thanks again for your nice work.

[jeremy-rifkin]

I've released a version with REQUIRE_ASSERT, I'll close this for now but would welcome contributions for improving the utility