datarace: don't export unrealized race vector

[model-checker.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index a74147be4bbe7e068a9ddd05a58ff459ccb1a7c8..c8c4b89ac2910abd7024b531ea1bed5e97187faa 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -2816,7 +2816,7 @@ void ModelExecution::fixup_release_sequences()
 {
        while (!pending_rel_seqs.empty() &&
                        is_feasible_prefix_ignore_relseq() &&
-                       !unrealizedraces.empty()) {
+                       haveUnrealizedRaces()) {
                model_print("*** WARNING: release sequence fixup action "
                                "(%zu pending release seuqence(s)) ***\n",
                                pending_rel_seqs.size());