Documentation ¶
Overview ¶
Package main implements the integration test framework for checking cross-package inference with different analyzer drivers. It compares the diagnostics reported by running NilAway separately and the diagnostics specified in the comments of the `testdata/integration` project. See `testdata/integration/README.md` for more details.
Click to show internal directories.
Click to hide internal directories.