Assertion (software development): Difference between revisions

Content deleted Content added
m task, replaced: Annals of the History of Computing, IEEE → IEEE Annals of the History of Computing
m Remove comma
Line 115:
Both of these methods require a method of constructing unique names. Modern compilers support a <code>__COUNTER__</code> preprocessor define that facilitates the construction of unique names, by returning monotonically increasing numbers for each compilation unit.<ref>[https://gcc.gnu.org/gcc-4.3/changes.html GNU, "GCC 4.3 Release Series&nbsp;— Changes, New Features, and Fixes"]</ref>
 
[[D (programming language)|D]] provides static assertions through the use of <code>static assert</code>,.<ref>Static assertions in D''http://dlang.org/version.html#StaticAssert''</ref>
 
== Disabling assertions ==