Support for -x option

[model-checker.git] / scanalysis.h

diff --git a/scanalysis.h b/scanalysis.h
index 988c8f75c13ad58f0fdfc44ebd3e936bb59601e1..23d127bf686748d8b36589149e44384045e4ea1e 100644 (file)
--- 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 {