blank lines, spacing, etc.

[c11tester.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index b93ed460e593de1460f1e4f8feeacc58c3c3bbce..02f5a89ef17fa320a4fed704e95a924fba0b5132 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -127,7 +127,6 @@ bool Node::future_value_empty() {
        return ((future_index+1)>=future_values.size());
 }
 
-
 /**
  * Checks if the Thread associated with this thread ID has been explored from
  * this Node already.
@@ -150,7 +149,6 @@ bool Node::backtrack_empty()
        return (numBacktracks == 0);
 }
 
-
 /**
  * Checks whether the readsfrom set for this node is empty.
  * @return true if the readsfrom set is empty.
@@ -159,8 +157,6 @@ bool Node::read_from_empty() {
        return ((read_from_index+1)>=may_read_from.size());
 }
 
-
-
 /**
  * Mark the appropriate backtracking information for exploring a thread choice.
  * @param act The ModelAction to explore
@@ -221,7 +217,6 @@ void Node::add_read_from(const ModelAction *act)
  * where this->action is a 'read'.
  * @return The first element in future_values
  */
-
 uint64_t Node::get_future_value() {
        ASSERT(future_index<future_values.size());
        return future_values[future_index];
@@ -230,8 +225,6 @@ uint64_t Node::get_future_value() {
 /**
  * Gets the next 'may_read_from' action from this Node. Only valid for a node
  * where this->action is a 'read'.
- * @todo Perform reads_from backtracking/replay properly, so that this function
- * may remove elements from may_read_from
  * @return The first element in may_read_from
  */
 const ModelAction * Node::get_read_from() {