Get data race detector working... Commented out function call code since it crashes...

[c11tester.git] / main.cc

diff --git a/main.cc b/main.cc
index a484f497458ee078270aa2cd52ccc2a20c551c1a..80ac52ac1995b9303d012a76ca434c00014be117 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -198,8 +198,6 @@ int main(int argc, char **argv)
        model_params *params = model->getParams();
        parse_options(params, main_argc, main_argv);
 
-       //Initialize race detector
-       initRaceDetector();
 
        snapshot_stack_init();
        install_trace_analyses(model->get_execution());