Testing an Ada package with the pragma 'preelaborate'

If an Ada package contains a pragma preelaborate, all the packages that this package uses also require a pragma preelaborate.

The Component Testing for Ada runtime library does not support this pragma. Therefore any dependency from the code under test to the runtime library causes a compiler error.

The following methods can avoid the dependencies.

1. Instrument the code under test without the option -INIT_UNSUPPORTED.
   Then the instrumentor comments out the pragma preelaborate.
   
   Now the runtime library no longer needs to contain the pragma preelaborate. You get a warning message to indicate that the instrumentor commented out the pragma.
   
   TestRT Coverage Ada - WARNING: Option -INIT_UNSUPPORTED should be used to not comment the pragma Preelaborate
   
   
2. Test the code as a black box.
   This means that the test entry point is outside the package under test. Use the instruction Begin, without any parameters, in the test script. Now you can test the code without instrumenting it. However you cannot access private elements of the package under test..