Movatterモバイル変換


[0]ホーム

URL:


Next:, Previous:, Up:Testsuites   [Contents][Index]


6.3 Ada Language Testsuites

The Ada testsuite includes executable tests from the ACATStestsuite, publicly available athttp://www.ada-auth.org/acats.html.

These tests are integrated in the GCC testsuite in theada/acats directory, andenabled automatically when runningmake check, assumingthe Ada language has been enabled when configuring GCC.

You can also run the Ada testsuite independently, usingmake check-ada, or run a subset of the tests by specifying whichchapter to run, e.g.:

$ make check-ada CHAPTERS="c3 c9"

The tests are organized by directory, each directory corresponding toa chapter of the Ada Reference Manual. So for example,c9 correspondsto chapter 9, which deals with tasking features of the language.

The tests are run using twosh scripts:run_acats andrun_all.sh. To run the tests using a simulator or a crosstarget, see the smallcustomization section at the top ofrun_all.sh.

These tests are run using the build tree: they can be run without doingamake install.


[8]ページ先頭

©2009-2026 Movatter.jp