Home

Quick notes on generating a patch for Dialyzer

1. Create a minimal testcase that addresses the issue that you are patching
2. Add this testcase to dialyzer/test/small_tests_SUITE_data/src
3. Run ./remake script in test directory to update automatically generated .erl files
4. Develop your patch
5. From otp’s top directory run ./otp_build tests to generate all the tests
6. Navigate to /dialyzer_tests
7. Run ct_run -suite all to run the tests.
8. If your test is expected to return warnings, copy the relevant output file located in the deepest folder of the test run (ct_run_*///…) to the dialyzer/test/small_tests_SUITE_data/results directory
9. Commit all the files included in your patch along with the testcases src, results and updated suite files

This is a forked repository. Have a look at
erlang’s otp wiki
for more information.