mirror of
https://github.com/boostorg/contract.git
synced 2026-01-26 06:22:42 +00:00
Examples taken from Mitchell, McKim, "Design by Contract, by Example", 2002.
Examples taken from Mitchell, McKim, "Design by Contract, by Example", 2002.