fast-check is a very nice library. It would be even better if we could use it with Facebook's ReasonML instead of Typescript!

It might be possible to use https://github.com/rrdelaney/ReasonablyTyped to make the conversion easier.

Tl;dr: building a simple DeepState testcase as shown below, gives the -Wmissing-noreturn warning. This might be an issue if DeepState is incorporated into a codebase that uses -Werror.

Example code

#include <deepstate/DeepState.hpp>

using namespace deepstate;

TEST(TestCaseName, TestName) {
        ASSERT(1);
}

Related build log

[1/2] Building CXX objec

Every project with aspirations to greatness needs a logo, and hypothesis-jsonschema is no exception. Are you the generous designer who can help?

• Hypothesmith is, as the name suggests, built on Hypothesis. You may therefore want to draw on that project's logo and brand, though it's not required.
• The other major inspirati