From 5f17dfed2e80b02b857b262de24aa7fa9ea11296 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 15 Aug 2016 08:31:58 +0000
Subject: [PATCH] param: Output size information for the constructed model

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11616 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/param/ModelBuilder.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/param/ModelBuilder.java b/prism/src/param/ModelBuilder.java
index 22cdb709..8c4a820c 100644
--- a/prism/src/param/ModelBuilder.java
+++ b/prism/src/param/ModelBuilder.java
@@ -268,6 +268,8 @@ public final class ModelBuilder extends PrismComponent
 		ParamModel modelExpl = constructModel(modulesFile);
 		time = System.currentTimeMillis() - time;
 
+		mainLog.print("\n"+modelExpl.infoStringTable());
+		
 		mainLog.println("\nTime for model construction: " + time / 1000.0 + " seconds.");
 		model = modelExpl;
 	}