diff options
Diffstat (limited to 'driver/Interp.ml')
| -rw-r--r-- | driver/Interp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Interp.ml b/driver/Interp.ml index 84037ae8..a0090866 100644 --- a/driver/Interp.ml +++ b/driver/Interp.ml @@ -400,6 +400,7 @@ let rec explore p prog ge time ss = end let execute prog = + Random.self_init(); let p = err_formatter in pp_set_max_boxes p 10; begin match Cexec.do_initial_state prog with |