From d9a2373dc7c9678df935643da4d719ff6bad7897 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 19 Jun 2012 15:51:06 -0700
Subject: [PATCH] action: replace condition check with ASSERT()

Now that the ModelChecker and NodeStack have been refactored a bit, I don't
need to rely on create_cv() to avoid overwriting a previously-existing
clockvector; create_cv() will now be called at most once per ModelAction. So
change this condition to an ASSERT().
---
 action.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/action.cc b/action.cc
index 6ae1d86..dc980db 100644
--- a/action.cc
+++ b/action.cc
@@ -117,8 +117,7 @@ bool ModelAction::is_synchronizing(ModelAction *act)
 
 void ModelAction::create_cv(ModelAction *parent)
 {
-	if (cv)
-		return;
+	ASSERT(cv == NULL);
 
 	if (parent)
 		cv = new ClockVector(parent->cv, this);
-- 
2.34.1