This is a port of Minithesis in C++, with the intent to try using it in SerenityOS.
What do you mean?
It's great! Tests edge cases you didn't/couldn't think of; increases your confidence that the program works the way you think it does.
It uses an "internal shrinking" approach, which removes the burden of writing shrinkers from the user, and works well in face of monadic bind. This (IMHO) makes it superior to QuickCheck approach (manual/codegen'd shrinkers) and to the "integrated shrinking" lazy rose tree approach (ie. Hedgehog).