diff options
| author | Hans Bolinder <[email protected]> | 2012-08-21 10:17:26 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2012-08-21 10:17:26 +0200 |
| commit | ffb066c7523f05fee3d26d8a148ffd3a10d966ff (patch) | |
| tree | e886656288a583eee6c1d628f5ed74e7f2511128 /lib/dialyzer/src/dialyzer_cl.erl | |
| parent | a8fb0d0537314f717f9ab33989a5115457c9aab0 (diff) | |
| parent | 5c840fae80ece293a5a3fc2fc2698771d7d9d200 (diff) | |
| download | otp-ffb066c7523f05fee3d26d8a148ffd3a10d966ff.tar.gz otp-ffb066c7523f05fee3d26d8a148ffd3a10d966ff.tar.bz2 otp-ffb066c7523f05fee3d26d8a148ffd3a10d966ff.zip | |
Merge branch 'maint'
* maint:
Add an undocumented option [--solver [v1 | v2]]
Add an alternative implmentation of the typesignature solver
Diffstat (limited to 'lib/dialyzer/src/dialyzer_cl.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_cl.erl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl.erl b/lib/dialyzer/src/dialyzer_cl.erl index 5d253e77fa..6732d96b98 100644 --- a/lib/dialyzer/src/dialyzer_cl.erl +++ b/lib/dialyzer/src/dialyzer_cl.erl @@ -2,7 +2,7 @@ %%------------------------------------------------------------------- %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2006-2011. All Rights Reserved. +%% Copyright Ericsson AB 2006-2012. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -398,7 +398,8 @@ do_analysis(Files, Options, Plt, PltInfo) -> timing = Options#options.timing, plt = Plt, use_contracts = Options#options.use_contracts, - callgraph_file = Options#options.callgraph_file}, + callgraph_file = Options#options.callgraph_file, + solvers = Options#options.solvers}, State3 = start_analysis(State2, InitAnalysis), {T1, _} = statistics(wall_clock), Return = cl_loop(State3), |