depish/cppdraft_translate
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
cppdraft_translate/cppdraft/res/contract/assertions.md
Leonov Artur (Depish) 043225d523 Init
2025-10-25 03:02:53 +03:00

786 B
Raw Permalink Blame History

[res.contract.assertions]

16 Library introduction [library]

16.4 Library-wide requirements [requirements]

16.4.6 Conforming implementations [conforming]

16.4.6.15 Contract assertions [res.contract.assertions]

1

#

Unless specified otherwise, an implementation may check the specified preconditions and postconditions of a function in the C++ standard library using contract assertions ([basic.contract], [structure.specifications]).