Again crash at history 97033950, try to continue run skipping that history.

2019-06-20 10:26:30 +02:00
parent 95e69de68f
commit bfd4e21d05
2 changed files with 3 additions and 2 deletions
--- a/crun.i
+++ b/crun.i
@@ -1,2 +1,3 @@
 CONTINUE
-nps 2e10
+stop nps 2e8 ctme 4.5e6 f15 0.001
+rand gen=2 seed=29976355590901 hist=100000000 $ try to jump over bad history