31       : Context(std::make_unique<WatchedLiteralsSolver>()), Env(Context) {}  in EnvironmentTest()
33   Environment Env;  member in __anon38c35fe10111::EnvironmentTest
37   EXPECT_TRUE(Env.flowConditionImplies(Env.getBoolLiteralValue(true)));  in TEST_F()
38   EXPECT_FALSE(Env.flowConditionImplies(Env.getBoolLiteralValue(false)));  in TEST_F()
40   auto &X = Env.makeAtomicBoolValue();  in TEST_F()
41   EXPECT_FALSE(Env.flowConditionImplies(X));  in TEST_F()
43   Env.addToFlowCondition(X);  in TEST_F()
44   EXPECT_TRUE(Env.flowConditionImplies(X));  in TEST_F()
46   auto &NotX = Env.makeNot(X);  in TEST_F()
47   EXPECT_FALSE(Env.flowConditionImplies(NotX));  in TEST_F()
79   Value *Val = Env.createValue(*Ty);  in TEST_F()