Add SCFence analysis

[c11tester.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index f26100bad0e359459bf18263009028aa8a28f4e0..6ae96be8d508d9b598ae3bb3c396760fea6047da 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -198,6 +198,7 @@ public:
        Node * get_next() const;
        void reset_execution();
        void pop_restofstack(int numAhead);
+       void full_reset();
        int get_total_nodes() { return total_nodes; }
 
        void print() const;