projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb8e9f6) | patch
action: replace condition check with ASSERT()
authorBrian Norris <banorris@uci.edu>
Tue, 19 Jun 2012 22:51:06 +0000 (15:51 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 19 Jun 2012 22:51:06 +0000 (15:51 -0700)
commitd9a2373dc7c9678df935643da4d719ff6bad7897
tree0baef75bae8dc5967a90ed3e11aca146690b5c6atree | snapshot
parenteb8e9f61a400856421465d95ac52d9cffed2a491commit | diff
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 diff | blob | history
This is the public repository for the CDSSpec specification compiler.