mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Note the typestate dataflow timing. The culprit is revealed.

Browse source
This commit is contained in:
Graydon Hoare 2010-07-26 12:31:43 -07:00
parent c4897f849c
commit ec5efd2577
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/boot/me/typestate.ml
View file

@ -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
;;