X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.h;h=864f6aeedcc8072c96d19b6071f95169f02be134;hp=90c8a55e5f96f7ca93a6adcd6c6f28fdac96fa4a;hb=4541dc5155c69e168beedf3bd2a8f5ece0e0e65b;hpb=7921811e8bd7bba2cdd892434a58ec7254ae0f99;ds=sidebyside

diff --git a/model.h b/model.h
index 90c8a55..864f6ae 100644
--- 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: