Support for -x option
[model-checker.git] / scanalysis.h
index 988c8f7..23d127b 100644 (file)
@@ -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 {