X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=scanalysis.h;h=3ad69e57023b074993083c4268c74aac0ec341c9;hp=286f73dea6ec00f065af822f66ae4c3baee1f59c;hb=a4d3f2ae3f3a9e2a30cc36c92cee9f83bb09e9b1;hpb=f3359dd1b9ba12e5092504e8e53e3615bdb2956a diff --git a/scanalysis.h b/scanalysis.h index 286f73d..3ad69e5 100644 --- a/scanalysis.h +++ b/scanalysis.h @@ -9,7 +9,7 @@ class SCAnalysis : public TraceAnalysis { ~SCAnalysis(); virtual void setExecution(ModelExecution * execution); virtual void analyze(action_list_t *); - virtual char * name(); + virtual const char * name(); virtual bool option(char *); SNAPSHOTALLOC @@ -33,5 +33,7 @@ class SCAnalysis : public TraceAnalysis { HashTable lastwrmap; SnapVector threadlists; ModelExecution *execution; + bool print_always; + bool print_buggy; }; #endif