model: stash each backtrack event in ModelChecker::backtrack_list

diff --git a/model.cc b/model.cc
index e496abd012a537b13019c292741a8dda6bc71935..17ff0f96708d2792a2aae2e4910d8ed27baa3d87 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -91,9 +91,8 @@ void ModelChecker::set_backtracking(ModelAction *act)
        prev->print();
        act->print();
 
-       /* FIXME */
-       //Backtrack *back = new Backtrack(prev, actionList);
-       //backtrackList->Append(back);
+       Backtrack *back = new Backtrack(prev, action_trace);
+       backtrack_list.push_back(back);
 }
 
 void ModelChecker::check_current_action(void)

diff --git a/model.h b/model.h
index 2097d2916d5891c499b01a3d72ea085eb936e184..117c64588a3889b9c036865228c6512d93c6d0cf 100644 (file)
--- a/model.h
+++ b/model.h
@@ -86,6 +86,7 @@ private:
        action_list_t *action_trace;
        std::map<thread_id_t, class Thread *> thread_map;
        class TreeNode *rootNode, *currentNode;
+       std::list<class Backtrack *> backtrack_list;
 };
 
 extern ModelChecker *model;