Searched refs:postcondition (Results 1 – 5 of 5) sorted by relevance
28 postcondition() { function46 postcondition "$_desc no-readonly" "$_expect_success_post"51 postcondition "$_desc readonly" "$_expect_fail_post"66 postcondition "$_op no white/blacklists" "$_expect_success_post"71 postcondition "$_op whitelisted" "$_expect_success_post"76 postcondition "$_op blacklisted" "$_expect_fail_post"81 postcondition "$_op not in whitelist" "$_expect_fail_post"
44 * INCOMPLETE - US 52: remove_filename() postcondition is not by itself a definition
45 * INCOMPLETE - US 52: remove_filename() postcondition is not by itself a definition
12 "`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"…