https://github.com/AdaCore/aunit

https://github.com/AdaCore/aunit

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/AdaCore/aunit
• Owner: AdaCore
• License: other
• Created: 2018-12-17T09:25:49.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2024-10-24T16:03:27.000Z (about 2 months ago)
• Last Synced: 2024-10-25T23:35:24.491Z (about 2 months ago)
• Language: Ada
• Size: 961 KB
• Stars: 7
• Watchers: 29
• Forks: 18
• Open Issues: 17
• Metadata Files:
  • Readme: README
  • License: COPYING.RUNTIME
  • Support: support/aunit.xml

Awesome Lists containing this project

• awesome-ada - aunit - Ada unit testing framework. (Frameworks / Unit Test, Testing)

README

        
AUnit README

This is the Ada unit test framework AUnit, derived

from the JUnit/CPPUnit frameworks for Java/C++. Read the AUnit Cookbook,

available in doc/ in a number of formats, for installation and usage.

AUnit is maintained by AdaCore. Please report problems at [email protected]

NOTE FOR CONTRIBUTORS

---------------------

AUnit is intended to be used on bareboard targets that have a very

limited runtime library, so many things like containers, finalization,

exception propagation and so on cannot be used in the main framework

unconditionally. For full list of restrictions see following parts of

GNAT User’s Guide Supplement for Cross Platforms:

* [4.2.2. Ada Restrictions in the Zero Footprint Profile](http://docs.adacore.com/live/wave/gnat_ugx/html/gnat_ugx/gnat_ugx/the_predefined_profiles.html#ada-restrictions-in-the-zero-footprint-profile)

* [4.2.3. Predefined Packages in the Zero Footprint Profile](http://docs.adacore.com/live/wave/gnat_ugx/html/gnat_ugx/gnat_ugx/the_predefined_profiles.html#predefined-packages-in-the-zero-footprint-profile)

Other language features and predefined packages may be used in conditional

way, by either providing the same API across different scenarios or adding

new units for full runtime scenario only. An example of such conditional usage

is FileIO variable from lib/gnat/aunit_shared.gpr that selects between

include/aunit/framework/fileio and include/aunit/framework/nofileio.