nodestack: pass writer ModelAction to add_future_value()

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index 708ec3d0f5fa3da43a563228ef53c4b6e72475dd..46f7d12a007e6289aa384993d7e58fb29e1d5fed 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -225,8 +225,9 @@ bool Node::misc_empty() const
  * @param value is the value to backtrack to.
  * @return True if the future value was successully added; false otherwise
  */
-bool Node::add_future_value(uint64_t value, modelclock_t expiration)
+bool Node::add_future_value(const ModelAction *writer, modelclock_t expiration)
 {
+       uint64_t value = writer->get_value();
        int idx = -1; /* Highest index where value is found */
        for (unsigned int i = 0; i < future_values.size(); i++) {
                if (future_values[i].value == value) {