From: Brian Norris <banorris@uci.edu>
Date: Tue, 19 Jun 2012 22:51:06 +0000 (-0700)
Subject: action: replace condition check with ASSERT()
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=d9a2373dc7c9678df935643da4d719ff6bad7897;p=cdsspec-compiler.git

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().
---

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);