added breakpoint before simulation

11 months ago · 7a78565c31
1 changed files with 2 additions and 0 deletions
--- a/mgm_simulator.py
+++ b/mgm_simulator.py
@ -160,6 +160,8 @@ def mdp():
    print("Probability to reject both: {} (in induced Markov Chain)".format(result.at(initial_state)))
    simulator = stormpy.simulator.create_simulator(dtmc)
    simulator.set_observation_mode(stormpy.simulator.SimulatorObservationMode.PROGRAM_LEVEL)
+
+    input("Hit enter to start the simulation.")
    while True:
        i=0
        while i < 5000: