X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=scanalysis.cc;h=6fc1e0810e88013005eb64b93a92de22b6d3a20f;hp=17763870814aeac14e528bcef8aa7b02e902e947;hb=e79a7cd8e9c85d37a5d5c2a81ca14b1017b1b305;hpb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f

diff --git a/scanalysis.cc b/scanalysis.cc
index 1776387..6fc1e08 100644
--- a/scanalysis.cc
+++ b/scanalysis.cc
@@ -39,6 +39,9 @@ void SCAnalysis::finish() {
 		model_print("Elapsed time in usec %llu\n", stats->elapsedtime);
 	model_print("SC count: %u\n", stats->sccount);
 	model_print("Non-SC count: %u\n", stats->nonsccount);
+	model_print("Total actions: %llu\n", stats->actions);
+	unsigned long long actionperexec=(stats->actions)/(stats->sccount+stats->nonsccount);
+	model_print("Actions per execution: %llu\n", actionperexec);
 }
 
 bool SCAnalysis::option(char * opt) {
@@ -251,6 +254,8 @@ ModelAction * SCAnalysis::pruneArray(ModelAction **array,int count) {
 
 action_list_t * SCAnalysis::generateSC(action_list_t *list) {
  	int numactions=buildVectors(list);
+	stats->actions+=numactions;
+
 	computeCV(list);
 
 	action_list_t *sclist = new action_list_t();