Lines Matching defs:happy
4402 int happy;
4410 happy = check_happy(100);
4415 FORKEE_ASSERT_EQ(happy, check_happy(100));
4466 int happy;
4475 happy = check_happy(999);
4480 FORKEE_ASSERT_EQ(happy, check_happy(999));
4534 int happy;
4543 happy = check_happy(999);
4548 FORKEE_ASSERT_EQ(happy, check_happy(999));
4602 int happy;
4611 happy = check_happy(999);
4616 FORKEE_ASSERT_EQ(happy, check_happy(999));
5403 int happy;
5414 happy = check_happy(100);
5419 FORKEE_ASSERT_EQ(happy, check_happy(100));
5889 int happy;
5899 happy = check_happy(100);
5908 FORKEE_ASSERT_EQ(happy, check_happy(100));