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

diff --git a/main.cc b/main.cc
index 1aafb69..f55b98d 100644
--- a/main.cc
+++ b/main.cc
@@ -21,14 +21,14 @@ static void param_defaults(struct model_params * params) {
 	params->enabledcount = 1;
 	params->bound = 0;
 	params->maxfuturevalues = 0;
-	params->expireslop = 2;
+	params->expireslop = 10;
 }
 
 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");