Lines Matching refs:check_happy
4410 happy = check_happy(100);
4415 FORKEE_ASSERT_EQ(happy, check_happy(100));
4475 happy = check_happy(999);
4480 FORKEE_ASSERT_EQ(happy, check_happy(999));
4543 happy = check_happy(999);
4548 FORKEE_ASSERT_EQ(happy, check_happy(999));
4611 happy = check_happy(999);
4616 FORKEE_ASSERT_EQ(happy, check_happy(999));
5414 happy = check_happy(100);
5419 FORKEE_ASSERT_EQ(happy, check_happy(100));
5899 happy = check_happy(100);
5908 FORKEE_ASSERT_EQ(happy, check_happy(100));