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