1. Test whether features that depend on optional libraries are present (e.g., unbounded arithmetic support)
2. Test that all standard libraries that depend on foreign code are present.
3. provides a test_installation predicate to run the tests at runtime if the system was built with -DINSTALL_TESTS

If issues are found it prints a diagnostic message with a link to a wiki page with additional information about the issue.