model: check_recency: convert a few things to ASSERT()

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index e6f0269c0c2720a09d1c74882cb597a8afefd044..515a2d313abbee54abbd132057100c89f9f711fc 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -285,6 +285,7 @@ void Node::clear_backtracking()
                backtrack[i] = false;
        for (unsigned int i = 0; i < explored_children.size(); i++)
                explored_children[i] = false;
+       numBacktracks = 0;
 }
 
 bool Node::is_enabled(Thread *t) const
@@ -457,8 +458,7 @@ void Node::add_read_from_promise(const ModelAction *reader)
  */
 Promise * Node::get_read_from_promise() const
 {
-       if (read_from_promise_idx < 0 || read_from_promise_idx >= ((int)read_from_promises.size()))
-               return NULL;
+       ASSERT(read_from_promise_idx >= 0 && read_from_promise_idx < ((int)read_from_promises.size()));
        return read_from_promises[read_from_promise_idx]->get_reads_from_promise();
 }