diff options
author | Stavros Aronis <[email protected]> | 2011-04-02 17:36:08 +0300 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2011-05-04 15:06:14 +0200 |
commit | bc619f0cbf9555df6dfc44a499f0cd9cee8bd1be (patch) | |
tree | 82f6b1da6e97603c3a8354a6ed78dd889a1281fc /lib/dialyzer/test/README | |
parent | 4dd5d2a84e62ee53ead077c0075b3338a827280b (diff) | |
download | otp-bc619f0cbf9555df6dfc44a499f0cd9cee8bd1be.tar.gz otp-bc619f0cbf9555df6dfc44a499f0cd9cee8bd1be.tar.bz2 otp-bc619f0cbf9555df6dfc44a499f0cd9cee8bd1be.zip |
Simplify Dialyzer's test suite structure
*_SUITE.erl files are now automatically generated by the respective data
directories by the Makefile.
Diffstat (limited to 'lib/dialyzer/test/README')
-rw-r--r-- | lib/dialyzer/test/README | 26 |
1 files changed, 10 insertions, 16 deletions
diff --git a/lib/dialyzer/test/README b/lib/dialyzer/test/README index 07340c7266..41f282a131 100644 --- a/lib/dialyzer/test/README +++ b/lib/dialyzer/test/README @@ -2,22 +2,18 @@ To add test cases in any suite: ------------------------------- - 1) If the test requires dialyzer to analyze a single file place it in the - suite's 'src' directory. If analysis of more files is needed place them - all in a new directory in suite's 'src' directory. + 1) If the test requires Dialyzer to analyze a single file (TEST.erl) place it + in the suite's 'src' directory. If analysis of more files is needed place + them all in a new directory (TEST) in suite's 'src' directory. - 2) Create a file with the same name as the test (if single file, omit the - extension else directory name) containing the expected result in suite's - 'result' directory. - - 3) Run './remake <suite>', where <suite> is the suite's name omitting - "_tests_SUITE". + 2) Create a file named TEST containing the expected result in suite's 'result' + directory. ---------------------- To create a new suite: ---------------------- - 1) Create a directory with the suffix 'tests_SUITE_data'. The name should + 1) Create a directory with the suffix '_SUITE_data'. The name should describe the suite. 2) In the suite's directory create subdirectories 'src' and 'results' as @@ -28,17 +24,15 @@ To create a new suite: where: - List = a list of dialyzer options. Common case will be something + List = a list of Dialyzer options. Common case will be something like [{warnings, Warnings}], where Warnings is a list of valid '-W' prefixed dialyzer options without the 'W' prefix (e.g. '-Wfoo' would be declared as [{warnings, [foo]}]. - Limit = the amount of time each test case is allowed to run. Must be - bigger than the time it takes the most time-consuming test to - finish. + Limit = the amount of time (in minutes) each test case is allowed to + run. Must be greater than the time required to complete the most + time-consuming test in the suite. Any of these lines may be missing. Default options list is empty and default time limit is 1 minute. 3) Add tests as described in previous section. - - 4) Add the resulting suite's name in the Makefile's MODULES variable. |