Any option to focus on race detection only?

[Misasasa]

I am using GenMC as a race detector. So I wish GenMC to continue checking when it finds errors other than races (such as assertion violation and reading uninitialized memory). In other words, I wish that GenMC only stop on finding races or having traversed all executions without finding races.

Could you please tell me whether some option helps me with this? I find only --disable-race-detection but nothing like --disable-everything-other-than-race-detection.

[michaliskok]

No such option currently exists.

To disable assertions, you could #undef assert and redefine it as a no-op. For uninitialized memory, there is not much you can do: GenMC has to stop because otherwise the runtime would crash. (Note that uninitialized memory errors only concern dynamically allocated memory.)