[erlang-patches] Dialyzer tests update

Henrik Nord <>
Wed May 4 11:35:56 CEST 2011


On 04/21/2011 11:46 AM, Stavros Aronis wrote:
> This branch contains a restructure of Dialyzer's test suites, a fix 
> for the options1/compiler broken test and some more tests that have 
> been added to the suites.
>
> git fetch git://github.com/aronisstav/otp.git 
> <http://github.com/aronisstav/otp.git> dialyzer-tests
>
>
> _______________________________________________
> erlang-patches mailing list
> 
> http://erlang.org/mailman/listinfo/erlang-patches
Hello Stavros.

Thees tests are now passing, after failing on all platforms prior to:
ks/list_to_bitstring: 
http://github.com/erlang/otp/commit/9b046ad3ab6fb2c77b3ce8708e8751da189e1089
inclusion into 'pu'

r9c_SUITE:asn1
race_SUITE:mnesia_diff_atoms_race2
race_SUITE:mnesia_dirty_read_two_write_one
race_SUITE:mnesia_dirty_read_write_double2
race_SUITE:mnesia_dirty_read_write_double4
race_SUITE:mnesia_dirty_read_write_one
small_SUITE:my_sofs

This test is still failing on all 'pu' platforms
small_SUITE:cerl_hipeify

=== location [{small_SUITE,cerl_hipeify,147  <http://otp.ericsson.se:8000/product/internal/test/test_results/pu_R14B03/2011_05_03/otp_r14b03_dwalin_darwin9.8.0_i386_s2_kp_a0/ct_run.test_server@dwalin.2011-05-03_11.05.06/test.dialyzer_test.logs/run.2011-05-03_11.05.07/small_suite.src.html#140>},
               {small_SUITE,dialyze,75  <http://otp.ericsson.se:8000/product/internal/test/test_results/pu_R14B03/2011_05_03/otp_r14b03_dwalin_darwin9.8.0_i386_s2_kp_a0/ct_run.test_server@dwalin.2011-05-03_11.05.06/test.dialyzer_test.logs/run.2011-05-03_11.05.07/small_suite.src.html#70>},
               {small_SUITE,cerl_hipeify,145  <http://otp.ericsson.se:8000/product/internal/test/test_results/pu_R14B03/2011_05_03/otp_r14b03_dwalin_darwin9.8.0_i386_s2_kp_a0/ct_run.test_server@dwalin.2011-05-03_11.05.06/test.dialyzer_test.logs/run.2011-05-03_11.05.07/small_suite.src.html#140>}]
=== reason = {test_case_failed,
                      {differ,
                          [{old,3,
                               "cerl_hipeify.erl:370: Guard test fun((none()) ->  none()) =:= F::{_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_} | {_,_,_,_,_,_,_} can never succeed\n"},
                           {old,4,
                               "cerl_hipeify.erl:641: Function env__new_function_name/2 will never be called\n"}]}}



Let me know if I can assist with more info, and/or specific logs


-- 
/Henrik Nord Erlang/OTP

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20110504/87cb2878/attachment.html>


More information about the erlang-patches mailing list