I am not sure we are generating the right thing for dialyzer to work on
boss_db modules, I will add it to my list of things to work on
--Zach
On 1/17/14, 1:00 PM, David Robakowski wrote:
Hi ChicagoBoss community,
first of all thanks for the great framework and all the libs that
comes with it.
In one of my projects I’m using boss_db as a standalone “ORM” without
CB. The models are compiling fine with R16B02 and I’m able to
store/retrieve data from a db with it. When it comes to static code
analysis with dialyzer, the models break the analysis and I’m getting
the following errors:
|
dialyzer:Analysisfailed witherror:
Couldnotscan the following file(s):
Couldnotgetabstractcode for:.../ebin/test_model.beam
Recompilewith+debug_info oranalyze starting fromsource code
Couldnotgetabstractcode for:.../ebin/test_model2.beam
Recompilewith+debug_info oranalyze starting fromsource code
Lastmessages inthe log cache:
Readingfiles andcomputing callgraph...
make:***[dialyzer]Error1
|
Used compiler options:
|
{erl_opts,[
warn_unused_import
,warn_export_all
,warn_export_vars
,warnings_as_errors
,{d,debug}
,debug_info
,fail_on_warning
,{parse_transform,lager_transform}
]}.
|
Dialyzer command with configuration parameters:
|
dialyzer
-Wunderspecs-Wrace_conditions-Wunmatched_returns-Werror_handling--plts
~/.dialyzer_plt deps.plt -r ebin
|
Does maybe someone know how it’s possible to ignore the models for the
analyzing part or is there maybe a configuration I’m missing?
Thanks
David
--
You received this message because you are subscribed to the Google
Groups "ChicagoBoss" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected].
Visit this group at http://groups.google.com/group/chicagoboss.
To view this discussion on the web visit
https://groups.google.com/d/msgid/chicagoboss/22528bb5-cf5a-470c-845a-19e107ff6c74%40googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
--
You received this message because you are subscribed to the Google Groups
"ChicagoBoss" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
Visit this group at http://groups.google.com/group/chicagoboss.
To view this discussion on the web visit
https://groups.google.com/d/msgid/chicagoboss/52D9137C.5090806%40gmail.com.
For more options, visit https://groups.google.com/groups/opt_out.
