diff options
Diffstat (limited to 'test/monniaux')
| -rw-r--r-- | test/monniaux/PostpassSchedulingOracle.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/PostpassSchedulingOracle.patch b/test/monniaux/PostpassSchedulingOracle.patch index 71c44350..747dfa69 100644 --- a/test/monniaux/PostpassSchedulingOracle.patch +++ b/test/monniaux/PostpassSchedulingOracle.patch @@ -21,7 +21,7 @@ index 2fc561e..d3748e8 100644 + in let sched = real_do_schedule bb + in let refer = ref sched + in begin -+ for i = 1 to 100-1 do ++ for i = 1 to 1000-1 do + refer := (if i > 0 then real_do_schedule bb else real_do_schedule bb); + done; + Printf.printf "%Ld: %f\n" nb_instructions ((Unix.times ()).Unix.tms_utime -. start_time); |