diff options
| author | Graydon Hoare <[email protected]> | 2010-07-26 12:31:43 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-26 12:31:43 -0700 |
| commit | ec5efd25778e64ca273edd650d7606675aaba208 (patch) | |
| tree | edce95a4953d10b83ecac9201779841a695aecb9 /src | |
| parent | Add a cumulative timer count to be sure we're getting everything. (diff) | |
| download | rust-ec5efd25778e64ca273edd650d7606675aaba208.tar.xz rust-ec5efd25778e64ca273edd650d7606675aaba208.zip | |
Note the typestate dataflow timing. The culprit is revealed.
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/typestate.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml index 0f8588de..12e4a8f3 100644 --- a/src/boot/me/typestate.ml +++ b/src/boot/me/typestate.ml @@ -1220,7 +1220,8 @@ let process_crate in let log_flag = cx.ctxt_sess.Session.sess_log_typestate in run_passes cx "typestate setup" path setup_passes log_flag log crate; - run_dataflow cx constr_id graph; + Session.time_inner "typestate dataflow" cx.ctxt_sess + (fun _ -> run_dataflow cx constr_id graph); run_passes cx "typestate verify" path verify_passes log_flag log crate; run_passes cx "typestate aux" path aux_passes log_flag log crate ;; |