From 0e98bb1bcba9294c9674fd011e92555b2524f34d Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Fri, 26 Oct 2012 16:31:20 -0700 Subject: [PATCH] changes to allow running programs with racing initialization... --- model.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/model.cc b/model.cc index e592673..f8aa4f0 100644 --- a/model.cc +++ b/model.cc @@ -1994,6 +1994,7 @@ void ModelChecker::build_reads_from_past(ModelAction *curr) if (!initialized) { /** @todo Need a more informative way of reporting errors. */ printf("ERROR: may read from uninitialized atomic\n"); + set_assert(); } if (DBG_ENABLED() || !initialized) { @@ -2003,8 +2004,6 @@ void ModelChecker::build_reads_from_past(ModelAction *curr) curr->get_node()->print_may_read_from(); printf("End printing may_read_from\n"); } - - ASSERT(initialized); } bool ModelChecker::sleep_can_read_from(ModelAction * curr, const ModelAction *write) { -- 2.34.1