agila-learning-examples/en/ada-contracts-and-review/README.md

A reviewed progress component

Extend the level component with a clearly specified operation of your own. Submit both successful and expected-failure evidence plus a reviewable explanation.

• Record the allowed inputs and promised result.
• Keep assertion checking enabled and record compiler settings.
• Test low and high valid inputs and one precondition violation separately.
• Demonstrate that a deliberately wrong body is caught, then restore it.
• Explain a remaining limitation and identify one next learning step.