X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=scanalysis.h;h=988c8f75c13ad58f0fdfc44ebd3e936bb59601e1;hb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f;hp=d68f4c114f43d71fdd646ec945861d701182cc39;hpb=f817fff71c1cc97fe1bd55fa791f0d68af88ed1a;p=model-checker.git

diff --git a/scanalysis.h b/scanalysis.h
index d68f4c1..988c8f7 100644
--- a/scanalysis.h
+++ b/scanalysis.h
@@ -5,6 +5,8 @@
 
 struct sc_statistics {
 	unsigned long long elapsedtime;
+	unsigned int sccount;
+	unsigned int nonsccount;
 };
 
 class SCAnalysis : public TraceAnalysis {
@@ -20,6 +22,7 @@ class SCAnalysis : public TraceAnalysis {
 
 	SNAPSHOTALLOC
  private:
+	void update_stats();
 	void print_list(action_list_t *list);
 	int buildVectors(action_list_t *);
 	bool updateConstraints(ModelAction *act);
@@ -41,6 +44,7 @@ class SCAnalysis : public TraceAnalysis {
 	ModelExecution *execution;
 	bool print_always;
 	bool print_buggy;
+	bool print_nonsc;
 	bool time;
 	struct sc_statistics *stats;
 };