summaryrefslogtreecommitdiff
path: root/test/gtest/cfg.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/gtest/cfg.cpp')
-rw-r--r--test/gtest/cfg.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/test/gtest/cfg.cpp b/test/gtest/cfg.cpp
index 9c6e8573a..9f037e644 100644
--- a/test/gtest/cfg.cpp
+++ b/test/gtest/cfg.cpp
@@ -164,7 +164,7 @@ TEST_F(CFGTest, FinitePowersetLatticeFunctioning) {
element2.print(ss);
EXPECT_EQ(ss.str(), "100101");
ss.str(std::string());
- element2.makeLeastUpperBound(element1);
+ lattice.join(element2, element1);
element2.print(ss);
EXPECT_EQ(ss.str(), "101101");
}
@@ -496,7 +496,7 @@ TEST_F(CFGTest, StackLatticeFunctioning) {
EXPECT_EQ(stackLattice.compare(thirdStack, expectedStack),
LatticeComparison::EQUAL);
- EXPECT_EQ(thirdStack.makeLeastUpperBound(secondStack), true);
+ EXPECT_TRUE(stackLattice.join(thirdStack, secondStack));
{
expectedStack.stackTop().set(0, true);