Repository navigation
Any option to focus on race detection only? #66
Description
Activity
No such option currently exists.
To disable assertions, you could
#undef assertand 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.)
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.