Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Run dialyzer for extra_src_dirs #2190

Merged
merged 1 commit into from
Jan 25, 2020
Merged

Run dialyzer for extra_src_dirs #2190

merged 1 commit into from
Jan 25, 2020

Conversation

Yozhig
Copy link

@Yozhig Yozhig commented Dec 20, 2019

Usage:

  1. Command rebar3 as test dialyzer adds modules from test directories for check due to the fact that rebar3 adds "test" to extra_src_dirs in test profile.

OR

  1. Add directories you want to run dialyzer also on to extra_src_dirs in your rebar.config:
{profiles, [
    {dp, [{extra_src_dirs, ["tests"]}]}
]}.

and run rebar3 as dp dialyzer

@ferd
Copy link
Collaborator

ferd commented Dec 20, 2019

Sounds like it should work fine. I'm going to live it open for a while and go try it and see what happens. Otherwise I know other folks had used Dialyzer on tests a whole lot, maybe @elbrujohalcon ? Might be nice to have him give it a spin.

@ferd ferd self-requested a review December 20, 2019 20:18
@elbrujohalcon
Copy link

I do generally run dialyzer on tests, that's right. But I generally don't do it with rebar3. I use katana-test.

@ferd ferd merged commit bd9ae87 into erlang:master Jan 25, 2020
@Yozhig Yozhig deleted the run_dialyzer_for_extra_src_dirs branch September 3, 2021 14:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants