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

diff --git a/scanalysis.h b/scanalysis.h
index 988c8f7..23d127b 100644
--- a/scanalysis.h
+++ b/scanalysis.h
@@ -7,6 +7,7 @@ struct sc_statistics {
 	unsigned long long elapsedtime;
 	unsigned int sccount;
 	unsigned int nonsccount;
+	unsigned long long actions;
 };
 
 class SCAnalysis : public TraceAnalysis {