X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=f55b98df2a4cbaa66262497fdad58992c8bac5b0;hb=e83585ce14ab6ae325c83d815dce8eb77b0e5897;hp=fb4acbe75d6b530feabc4e76b111cc0f4bf4b29d;hpb=44118f596eb7cd9b4b0b5037fbbf958db001accc;p=model-checker.git

diff --git a/main.cc b/main.cc
index fb4acbe..f55b98d 100644
--- a/main.cc
+++ b/main.cc
@@ -28,7 +28,7 @@ static void print_usage(struct model_params *params) {
 	/* Reset defaults before printing */
 	param_defaults(params);
 
-	printf(
+	model_print(
 "Usage: <program name> [MC_OPTIONS] -- [PROGRAM ARGUMENTS]\n"
 "\n"
 "Options:\n"
@@ -130,6 +130,8 @@ static void model_main() {
 		model->finish_execution();
 	} while (model->next_execution());
 
+	model->print_stats();
+
 	delete model;
 
 	DEBUG("Exiting\n");