BUG(?): test falsifiable but "no exceptinos thrown"

[tg4nd4lf]

Hi,
i am using rapidcheck to test an embedded project.

I came upon an odd situation, where i ran an Test (max_success=100; noshrink=true) and it said, that it is "Falsifiable after 73 tests" but down on the end "no exceptions thrown".

In my code i have 1 RC_ASSERT to check a condition. So normally when a test fails it also gives the line & which assert failed.

So since the documentation says there are only 3 possible outcomes (success, failure, gave up) i checked the source code but could not find anything.
Also when rerunning the test with teh seed its sais that "Failure: Reproduced result is not a failure".

Any help for me? Do i miss something? Or is it a bug?

Greetings!

[emil-e]

It's likely that your code is not deterministic with regards to the generated inputs. If your code does not give the exact same result every time with the given inputs, RapidCheck will not work correctly.