I find some old codes (up to February 2006) related to data races in race_check.cpp/h (which, I guess, perhaps implements the method in Bounded Model Checking of Concurrent Programs, CAV 2005). I also find an option "--race-check" to enable them. But the option seems not working. Could you please tell us whether it is still possible to enable race check in CBMC?

CBMC version: 5.67.0
Operating system: Ubuntu 24.04
Exact command line resulting in the issue: cbmc example.c --race-check
What behaviour did you expect: CBMC models and detects data races in the input program.
What happened instead: CBMC does not recognize the --race-check option.