Searched refs:ThenFooVal (Results 1 – 1 of 1) sorted by relevance
3719 BoolValue &ThenFooVal = in TEST() local3721 EXPECT_TRUE(ThenEnv.flowConditionImplies(ThenFooVal)); in TEST()