26.13 Current Limitations
The tool currently does not support following features:
- generic tests for generic packages and package instantiations
- tests for protected subprograms and entries
- aspects Precondition, Postcondition, and Test_Case
- generating test packages for code that is not conformant with ada 2005