diff options
| author | Stavros Aronis <[email protected]> | 2012-02-27 21:41:34 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:20 +0200 |
| commit | 6d0da21ad9f0bba67d5bd389ca76a67613884d5f (patch) | |
| tree | 47670e5b9f8acb6ec3f4ff76cabfd29ede1fc39e /lib/dialyzer/src/dialyzer_worker.erl | |
| parent | e21f6ea9d28b0e8ed9609338499daaab306fa439 (diff) | |
| download | otp-6d0da21ad9f0bba67d5bd389ca76a67613884d5f.tar.gz otp-6d0da21ad9f0bba67d5bd389ca76a67613884d5f.tar.bz2 otp-6d0da21ad9f0bba67d5bd389ca76a67613884d5f.zip | |
Typesig and dataflow analyses no longer use ticket regulation
Diffstat (limited to 'lib/dialyzer/src/dialyzer_worker.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_worker.erl | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/dialyzer/src/dialyzer_worker.erl b/lib/dialyzer/src/dialyzer_worker.erl index 6392854101..4e967a18df 100644 --- a/lib/dialyzer/src/dialyzer_worker.erl +++ b/lib/dialyzer/src/dialyzer_worker.erl @@ -102,16 +102,11 @@ loop(running, #state{mode = 'warnings'} = State) -> report_to_coordinator(Result, State); loop(running, #state{mode = Mode} = State) when Mode =:= 'typesig'; Mode =:= 'dataflow' -> - request_activation(State), - dialyzer_coordinator:wait_activation(), ?debug("Run: ~p\n",[State#state.job]), NotFixpoint = do_work(State), ok = broadcast_done(State), report_to_coordinator(NotFixpoint, State). -request_activation(#state{coordinator = Coordinator}) -> - dialyzer_coordinator:request_activation(Coordinator). - waits_more_success_typings(#state{depends_on = Depends}) -> case Depends of [] -> false; |