- bug: a data race, a deadlock, failure of a user-provided assertion, or an
- uninitialized load, for instance. C11Tester will only report bugs in feasible
- executions.
+ bug: a data race, a deadlock, or a failure of a user-provided assertion.
+ C11Tester will only report bugs in feasible executions.