aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
AgeCommit message (Collapse)Author
2011-03-01Increase timetrap of options1 suiteStavros Aronis
2011-02-28Create plt with erts, kernel and stdlib onlyStavros Aronis
2011-02-28Update test results as they currently appear in devStavros Aronis
2011-02-28Major restructure of dialyzer's testsuiteStavros 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-18Update spec file to work with new common test structureLukas Larsson
2011-02-18Test suites for DialyzerStavros 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.