Lines Matching refs:get_top

40         ATF_REQUIRE_EQ(0, state.get_top());  in ATF_TEST_CASE_BODY()
42     ATF_REQUIRE_EQ(0, state.get_top());  in ATF_TEST_CASE_BODY()
53         ATF_REQUIRE_EQ(1, state.get_top());  in ATF_TEST_CASE_BODY()
55         ATF_REQUIRE_EQ(2, state.get_top());  in ATF_TEST_CASE_BODY()
57     ATF_REQUIRE_EQ(0, state.get_top());  in ATF_TEST_CASE_BODY()
68         ATF_REQUIRE_EQ(1, state.get_top());  in ATF_TEST_CASE_BODY()
73             ATF_REQUIRE_EQ(2, state.get_top());  in ATF_TEST_CASE_BODY()
77         ATF_REQUIRE_EQ(1, state.get_top());  in ATF_TEST_CASE_BODY()
80     ATF_REQUIRE_EQ(0, state.get_top());  in ATF_TEST_CASE_BODY()
94         ATF_REQUIRE_EQ(3, state.get_top());  in ATF_TEST_CASE_BODY()
96     ATF_REQUIRE_EQ(2, state.get_top());  in ATF_TEST_CASE_BODY()