Searched refs:WhileUtilTest (Results 1 – 1 of 1) sorted by relevance
95 TEST(WhileUtilTest, MakeTwoInstructionsLive) { in TEST() argument131 TEST(WhileUtilTest, GetInvariantGTEsForWhileBody) { in TEST() argument169 TEST(WhileUtilTest, AlwaysRemovePreviousWhileBody) { in TEST() argument