Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-08-24 | Merge branch 'sa/dialyzer-server-loop-fix' into dev | Henrik Nord | |
* sa/dialyzer-server-loop-fix: Fix server loop detection OTP-9489 | |||
2011-08-17 | Fix dialyzer warning on default clause for binary comprehension | Ivan Dubrov | |
Fixed dialyzer warning occuring on binary comprehension of form "<< <<>> || {A, B} <- [{a, b}] >>" caused by default clause inserted by compiler. Since this clause is different from the case of list comprehension, dialyzer fails to suppress that warning. | |||
2011-08-01 | Update results of race_SUITE/extract_translations | Stavros Aronis | |
2011-08-01 | Update results of small_SUITE/flatten | Stavros Aronis | |
2011-08-01 | Add codec_can and list_to_bitstring tests | Stavros Aronis | |
2011-08-01 | Fix bug when reporting unused functions | Stavros Aronis | |
2011-08-01 | Update Dialyzer's r9c_suite results | Stavros Aronis | |
2011-05-13 | Fix server loop detection | Stavros Aronis | |
Dialyzer does not normally emit warnings for functions that implement non-terminating server loops. This detection failed when some of the elements in an SCC terminated normally (being for example list comprehensions or other generic anonymous functions that were included in the SCC). This patch fixes that. | |||
2011-05-04 | Update dialyzer.spec | Stavros Aronis | |
2011-05-04 | Add race/ets_insert_public | Stavros Aronis | |
2011-05-04 | Add opaque/ewgi,ewgi2 | Stavros Aronis | |
2011-05-04 | Add opaque/schuett_bug | Stavros Aronis | |
2011-05-04 | Add small/param_types_crash | Stavros Aronis | |
2011-05-04 | Add small/file_open_encoding | Stavros Aronis | |
2011-05-04 | Add small/false_false | Stavros Aronis | |
2011-05-04 | Add small/ets_update_counter | Stavros Aronis | |
2011-05-04 | Add small/bin_compr | Stavros Aronis | |
2011-05-04 | Add small/tuple_set_crash | Stavros Aronis | |
2011-05-04 | Add small/refine_failing | Stavros Aronis | |
2011-05-04 | Add small/not_bogus_warning | Stavros Aronis | |
2011-05-04 | Add small/none_scc_inf_loop | Stavros Aronis | |
2011-05-04 | Add small/guards | Stavros Aronis | |
2011-05-04 | Add small/guard_warnings | Stavros Aronis | |
2011-05-04 | Add small/confusing_record_warning | Stavros Aronis | |
2011-05-04 | Add small/blame_contract_range | Stavros Aronis | |
2011-05-04 | Update small/recursive_types2 source | Stavros Aronis | |
2011-05-04 | Update opaque/zoltan_kis* sources | Stavros Aronis | |
2011-05-04 | Update options1/compiler results | Stavros Aronis | |
2011-05-04 | Rename suite data directories | Stavros Aronis | |
2011-05-04 | Simplify Dialyzer's test suite structure | Stavros Aronis | |
*_SUITE.erl files are now automatically generated by the respective data directories by the Makefile. | |||
2011-03-31 | Fix crash related with the contract blame assignment patch | Stavros Aronis | |
The relevant commit is 8342fcf5395133a19d647f2ace606af9b7fc1732. The old patch could emit warnings even for function that had a problematic spec even without refinement. This warnings would consume the relevant invalid spec warnings. This patch takes care of this by ensuring that normal invalid spec messages are emitted if the call that triggers the blame contract range warning is in another module. | |||
2011-03-01 | Increase timetrap of options1 suite | Stavros Aronis | |
2011-02-28 | Create plt with erts, kernel and stdlib only | Stavros Aronis | |
2011-02-28 | Update test results as they currently appear in dev | Stavros Aronis | |
2011-02-28 | Major restructure of dialyzer's testsuite | Stavros Aronis | |
Generation of the PLT is now performed without using OS commands. We still try to copy in the default plt to make small scale testing efficient. If generation/checking fails, suites are skipped except plt_tests_SUITE which contains a bare PLT check that fails normally. | |||
2011-02-18 | Update spec file to work with new common test structure | Lukas Larsson | |
2011-02-18 | Test suites for Dialyzer | Stavros Aronis | |
This is a transcription of most of the cvs.srv.it.uu.se:/hipe repository dialyzer_tests into test suites that use the test server framework. See README for information on how to use the included scripts for modifications and updates. When testing Dialyzer it's important that several OTP modules are included in the plt. The suites takes care of that too. |