Merge pull request #346 from n-osborne/domain-bug-report
This PR proposes an implementation of the bug-report generation in case of test failure in a parallel context.
This is part of #274
This lift one of the limitations contained in #328.
The bug report contains:
1. The name of the function where the failure occurred
2. The piece of specification that has been violated
3. A runnable program, spawning two domains
4. The actual returned values in comments after each calls
5. The expected result in an assert for the function where the failure occurred
Hopefully this is readable enough.
In order to compute all the information necessary to print this report, some modifications needed to be done to `check_obs`.
As `check_obs` is the heart of the QCheck-STM test framework with domains, a special care has been put to make sure these modifications don't cloud the logic of the check.
Looking at the diffs should make it clear that the modifications preserves the semantic of the function.
a7b968
-
Sep 02 09:02 +00:00