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

Bahagi para sa pag-usad na dumaan sa pagsusuri

Palawakin ang bahaging para sa level gamit ang sarili mong operasyong may malinaw na specification. Isumite ang ebidensiya ng matagumpay at inaasahang kabiguang mga kaso kasama ang paliwanag na maaaring suriin.

• Itala ang pinapayagang input at ipinangakong resulta.
• Panatilihing nakabukas ang assertion checking at itala ang compiler settings.
• Subukan ang mababa at mataas na wastong input at hiwalay na paglabag sa precondition.
• Ipakitang nahuhuli ang sadyang maling body, at pagkatapos ay ibalik ito.
• Ipaliwanag ang natitirang limitasyon at tukuyin ang susunod na hakbang sa pag-aaral.