add some support for traceanalysis plugins

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 90c8a55e5f96f7ca93a6adcd6c6f28fdac96fa4a..864f6aeedcc8072c96d19b6071f95169f02be134 100644 (file)
--- a/model.h
+++ b/model.h
@@ -40,6 +40,7 @@ struct model_params {
        int maxreads;
        int maxfuturedelay;
        bool yieldon;
+       bool sc_trace_analysis;
        unsigned int fairwindow;
        unsigned int enabledcount;
        unsigned int bound;
@@ -138,6 +139,9 @@ public:
 
        const model_params params;
        Node * get_curr_node() const;
+       void add_trace_analysis(Trace_Analysis * a) {
+               trace_analyses->push_back(a);
+       }
 
        MEMALLOC
 private: