Searched refs:postconditions_kind (Results 1 – 4 of 4) sorted by relevance
89 BOOST_AUTO_TEST_CASE(postconditions_kind) in BOOST_AUTO_TEST_CASE() argument