From 4ec91459b01a4e514f60393c2feadb94f6a75378 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 14 May 2012 13:22:18 -0700 Subject: [PATCH] model: remove class Backtrack --- model.cc | 20 -------------------- 1 file changed, 20 deletions(-) diff --git a/model.cc b/model.cc index e5af1a6..f4da330 100644 --- a/model.cc +++ b/model.cc @@ -8,26 +8,6 @@ #define INITIAL_THREAD_ID 0 -class Backtrack { -public: - Backtrack(ModelAction *d, action_list_t *t) { - diverge = d; - actionTrace = t; - iter = actionTrace->begin(); - } - ModelAction * get_diverge() { return diverge; } - action_list_t * get_trace() { return actionTrace; } - void advance_state() { iter++; } - ModelAction * get_state() { - return iter == actionTrace->end() ? NULL : *iter; - } -private: - ModelAction *diverge; - action_list_t *actionTrace; - /* points to position in actionTrace as we replay */ - action_list_t::iterator iter; -}; - ModelChecker *model; void free_action_list(action_list_t *list) -- 2.34.1