Searched refs:v_uint64 (Results 1 – 1 of 1) sorted by relevance
366 uint64_t v_uint64; in ATF_TC_BODY() member629 ATF_REQUIRE(prop_number_uint64_value(n_int64_max, &val.v_uint64) && in ATF_TC_BODY()630 val.v_uint64 == INT64_MAX); in ATF_TC_BODY()631 ATF_REQUIRE(!prop_number_uint64_value(n_int64_min, &val.v_uint64)); in ATF_TC_BODY()632 ATF_REQUIRE(prop_number_uint64_value(n_uint64_max, &val.v_uint64) && in ATF_TC_BODY()633 val.v_uint64 == UINT64_MAX); in ATF_TC_BODY()781 uint64_t v_uint64; in ATF_TC_BODY() member873 ATF_REQUIRE(prop_dictionary_get_uint64(dict, "uint64", &val.v_uint64)); in ATF_TC_BODY()874 ATF_REQUIRE(val.v_uint64 == UINT64_MAX); in ATF_TC_BODY()