Developer ToolsΒΆ
The documentation of each developer tool can also be found in the tool
directory in the NOTES.md
file.
asdf
assertions
code_metrics
dead_code_scanner
debug_messages
debugger
diagrams
doclet
help
lgtdoc
lgtunit
- 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
make
ports_profiler
profiler
wrapper