nodestack: bugfix - reset backtracking points on diverging paths

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index cd34ba42189977d25ed52e0a57b60c3ca25839ed..941178d7be453267b7556a1226c4883a11128d9e 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -56,6 +56,7 @@ public:
        /* return true = backtrack set is empty */
        bool backtrack_empty() const;
 
+       void clear_backtracking();
        void explore_child(ModelAction *act, enabled_type_t *is_enabled);
        /* return false = thread was already in backtrack */
        bool set_backtrack(thread_id_t id);