Home
last modified time | relevance | path

Searched refs:postcondition (Results 1 – 21 of 21) sorted by relevance

/netbsd-src/external/bsd/kyua-cli/dist/utils/
H A Dsanity.hpp56 postcondition, enumerator
151 #define POST(expr) _UTILS_ASSERT(utils::postcondition, expr, #expr)
161 #define POST_MSG(expr, msg) _UTILS_ASSERT(utils::postcondition, expr, msg)
H A Dsanity.cpp141 case utils::postcondition: return "Postcondition check failed"; in format_type()
/netbsd-src/doc/roadmaps/
H A Dverification78 (mostly) precondition/postcondition specs. It is not everything one
/netbsd-src/external/apache2/llvm/dist/libcxx/
H A DTODO.TXT44 * INCOMPLETE - US 52: remove_filename() postcondition is not by itself a definition
/netbsd-src/external/gpl3/gcc.old/dist/gcc/d/
H A Dlang.opt266 Generate code for postcondition contracts.
H A Dgdc.texi272 Turns off code generation for postcondition @code{out} contracts.
/netbsd-src/external/apache2/llvm/dist/libcxx/docs/
H A DCxx2aStatusIssuesStatus.csv12 "`2961 <https://wg21.link/LWG2961>`__","Bad postcondition for ``set_default_resource``\ ","Toronto"…
45 "`2816 <https://wg21.link/LWG2816>`__","``resize_file``\ has impossible postcondition","Jacksonvil…
72 "`3043 <https://wg21.link/LWG3043>`__","Bogus postcondition for ``filesystem_error``\ constructor"…
/netbsd-src/external/gpl3/gcc/dist/gcc/d/
H A Dlang.opt333 Generate code for postcondition contracts.
H A Dgdc.texi313 Turns off code generation for postcondition @code{out} contracts.
/netbsd-src/external/gpl3/gcc/dist/libstdc++-v3/include/experimental/
H A Dany147 * @post @c __other.empty() (this postcondition is a GNU extension)
/netbsd-src/external/gpl3/gcc.old/dist/libstdc++-v3/include/experimental/
H A Dany147 * @post @c __other.empty() (this postcondition is a GNU extension)
/netbsd-src/external/ibm-public/postfix/dist/proto/
H A Dstop.spell-cc1009 postcondition
/netbsd-src/external/gpl3/gcc/dist/libstdc++-v3/include/std/
H A Dany171 * @post @c !__other.has_value() (this postcondition is a GNU extension)
/netbsd-src/external/gpl3/gcc.old/dist/libstdc++-v3/include/std/
H A Dany168 * @post @c !__other.has_value() (this postcondition is a GNU extension)
/netbsd-src/external/gpl3/binutils/dist/bfd/
H A DChangeLog-96971004 (ppc_elf_adjust_dynamic_symbol): Check postcondition of
1010 (ppc_elf_check_relocs): Check postcondition of
/netbsd-src/external/gpl3/gdb/dist/bfd/
H A DChangeLog-96971004 (ppc_elf_adjust_dynamic_symbol): Check postcondition of
1010 (ppc_elf_check_relocs): Check postcondition of
/netbsd-src/external/gpl3/gdb.old/dist/bfd/
H A DChangeLog-96971004 (ppc_elf_adjust_dynamic_symbol): Check postcondition of
1010 (ppc_elf_check_relocs): Check postcondition of
/netbsd-src/external/gpl3/binutils.old/dist/bfd/
H A DChangeLog-96971004 (ppc_elf_adjust_dynamic_symbol): Check postcondition of
1010 (ppc_elf_check_relocs): Check postcondition of
/netbsd-src/external/gpl3/gcc/dist/libstdc++-v3/
H A DChangeLog-20208392 (stop_source::operator=(stop_source&&)): Establish postcondition on
/netbsd-src/external/lgpl3/mpfr/dist/
H A DChangeLog7060 [src/{int_ceil_log2.c,mpfr-impl.h}] Consistent postcondition for
12869 postcondition. The behavior with size = 0 actually depends on the state
/netbsd-src/external/gpl3/gcc/dist/gcc/
H A DChangeLog-202111937 Correct a function pre/postcondition.