otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Collapse)	Author
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.