Developer ToolsΒΆ
The documentation of each developer tool can also be found in the tool
directory in the NOTES.md file.
- Overview
asdfassertionscode_metricsdead_code_scannerdebug_messagesdebuggerdiagramsdoclethelplgtdoclgtunit- Main files
- API documentation
- Loading
- Writing and loading tests
- Running unit tests
- Parametric test objects
- Test dialects
- User-defined test dialects
- QuickCheck
- Skipping tests
- Checking test goal results
- Testing local predicates
- Testing non-deterministic predicates
- Testing generators
- Testing input/output predicates
- Suppressing tested predicates output
- Tests with timeout limits
- Setup and cleanup goals
- Test annotations
- Debugging failed tests
- Code coverage
- Automating running tests
- Utility predicates
- Exporting test results in xUnit XML format
- Exporting test results in the TAP output format
- Exporting code coverage results in XML format
- Minimizing test results output
- Known issues
- Other notes
lintermakeports_profilerprofilertutorwrapper