X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=scanalysis.cc;h=265c84cd4fdf3e937ea48adfbc7e145b14efcb15;hb=b090a4abc4915a9aa2a29787f76a6add79f838e2;hp=98dd8eb43d43bd729a59139dff778a93ceb9fd48;hpb=6a2d1dcdcff89e68d8a2fe9de1f38ecfac345caf;p=model-checker.git

diff --git a/scanalysis.cc b/scanalysis.cc
index 98dd8eb..265c84c 100644
--- a/scanalysis.cc
+++ b/scanalysis.cc
@@ -4,19 +4,28 @@
 #include "clockvector.h"
 #include "execution.h"
 
-SCAnalysis::SCAnalysis(const ModelExecution *execution) :
+SCAnalysis::SCAnalysis() :
 	cvmap(),
 	cyclic(false),
 	badrfset(),
 	lastwrmap(),
 	threadlists(1),
-	execution(execution)
+	execution(NULL)
 {
 }
 
 SCAnalysis::~SCAnalysis() {
 }
 
+void SCAnalysis::setExecution(ModelExecution * execution) {
+	this->execution=execution;
+}
+
+char * SCAnalysis::name() {
+	char * name = "SC";
+	return name;
+}
+
 void SCAnalysis::print_list(action_list_t *list) {
 	model_print("---------------------------------------------------------------------\n");
 	if (cyclic)