PH: cleanup format strings

%ld for number of iterations / fgw.right (continuous time computations)


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12184 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/hybrid/PH_StochBoundedUntil.cc

@@ -280,7 +280,7 @@ jlong __jlongpointer mu	// probs for multiplying
 		
 		// print occasional status update
 		if ((util_cpu_time() - start3) > UPDATE_DELAY) {
-			PH_PrintToMainLog(env, "Iteration %d (of %d): ", iters, fgw.right);
+			PH_PrintToMainLog(env, "Iteration %ld (of %ld): ", iters, fgw.right);
 			if (do_ss_detect) PH_PrintToMainLog(env, "max %sdiff=%f, ", measure.isRelative()?"relative ":"", measure.value());
 			PH_PrintToMainLog(env, "%.2f sec so far\n", ((double)(util_cpu_time() - start2)/1000));
 			start3 = util_cpu_time();

prism/src/hybrid/PH_StochCumulReward.cc

@@ -291,7 +291,7 @@ jdouble time		// time bound
 		
 		// print occasional status update
 		if ((util_cpu_time() - start3) > UPDATE_DELAY) {
-			PH_PrintToMainLog(env, "Iteration %d (of %d): ", iters, fgw.right);
+			PH_PrintToMainLog(env, "Iteration %ld (of %ld): ", iters, fgw.right);
 			if (do_ss_detect) PH_PrintToMainLog(env, "max %sdiff=%f, ", measure.isRelative()?"relative ":"", measure.value());
 			PH_PrintToMainLog(env, "%.2f sec so far\n", ((double)(util_cpu_time() - start2)/1000));
 			start3 = util_cpu_time();

prism/src/hybrid/PH_StochTransient.cc

@@ -261,7 +261,7 @@ jdouble time		// time bound
 		
 		// print occasional status update
 		if ((util_cpu_time() - start3) > UPDATE_DELAY) {
-			PH_PrintToMainLog(env, "Iteration %d (of %d): ", iters, fgw.right);
+			PH_PrintToMainLog(env, "Iteration %ld (of %ld): ", iters, fgw.right);
 			if (do_ss_detect) PH_PrintToMainLog(env, "max %sdiff=%f, ", measure.isRelative()?"relative ":"", measure.value());
 			PH_PrintToMainLog(env, "%.2f sec so far\n", ((double)(util_cpu_time() - start2)/1000));
 			start3 = util_cpu_time();