From 9fae627e5108f9afac299c197d586c66463b2357 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 6 Mar 2006 09:23:46 +0000 Subject: [PATCH] Display warning when sampling is terminated early by user. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/simsampling.cc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/prism/src/simulator/simsampling.cc b/prism/src/simulator/simsampling.cc index f81bd2ee..f23b2a28 100644 --- a/prism/src/simulator/simsampling.cc +++ b/prism/src/simulator/simsampling.cc @@ -697,7 +697,8 @@ void Do_Sampling(int path_length) }//end sampling while if (!stopped_early) { - Sim_Print_To_Main_Log(" 100%% ]\n"); + if (!should_stop_sampling) Sim_Print_To_Main_Log(" 100%% ]"); + Sim_Print_To_Main_Log("\n"); stop = clock(); time_taken = (double)(stop - start)/CLOCKS_PER_SEC; Sim_Print_To_Main_Log("\nSampling complete: %d iterations in %.2f seconds (average %.6f)\n", iteration_counter, time_taken, time_taken/iteration_counter); @@ -709,6 +710,9 @@ void Do_Sampling(int path_length) // print a warning if deadlocks occured at any point if (deadlocks_found) Sim_Print_To_Main_Log("\nWarning: Deadlocks were found during simulation: self-loops were added\n"); + // print a warning if simulation was stopped by the user + if (should_stop_sampling) Sim_Print_To_Main_Log("\nWarning: Simulation was terminated before completion.\n"); + //write to feedback file with true to indicate that we have finished sampling Write_Feedback(iteration_counter, no_iterations, true);