diff options
Diffstat (limited to 'test/gtest/lattices.cpp')
| -rw-r--r-- | test/gtest/lattices.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/gtest/lattices.cpp b/test/gtest/lattices.cpp index 905f03420..7fff8d0c0 100644 --- a/test/gtest/lattices.cpp +++ b/test/gtest/lattices.cpp @@ -574,12 +574,12 @@ TEST(ValTypeLattice, Meet) { } TEST(SharedLattice, GetBottom) { - analysis::Shared<analysis::UInt32> shared{analysis::UInt32{}}; + analysis::SharedPath<analysis::UInt32> shared{analysis::UInt32{}}; EXPECT_EQ(*shared.getBottom(), 0u); } TEST(SharedLattice, Compare) { - analysis::Shared<analysis::UInt32> shared{analysis::UInt32{}}; + analysis::SharedPath<analysis::UInt32> shared{analysis::UInt32{}}; auto zero = shared.getBottom(); @@ -615,7 +615,7 @@ TEST(SharedLattice, Compare) { } TEST(SharedLattice, Join) { - analysis::Shared<analysis::UInt32> shared{analysis::UInt32{}}; + analysis::SharedPath<analysis::UInt32> shared{analysis::UInt32{}}; auto zero = shared.getBottom(); @@ -682,7 +682,7 @@ TEST(SharedLattice, Join) { TEST(SharedLattice, JoinVecSingleton) { using Vec = analysis::Vector<analysis::Bool>; - analysis::Shared<Vec> shared{analysis::Vector{analysis::Bool{}, 2}}; + analysis::SharedPath<Vec> shared{analysis::Vector{analysis::Bool{}, 2}}; auto elem = shared.getBottom(); EXPECT_TRUE(shared.join(elem, Vec::SingletonElement(1, true))); @@ -691,7 +691,7 @@ TEST(SharedLattice, JoinVecSingleton) { TEST(SharedLattice, JoinInvertedVecSingleton) { using Vec = analysis::Vector<analysis::Bool>; - analysis::Shared<analysis::Inverted<Vec>> shared{ + analysis::SharedPath<analysis::Inverted<Vec>> shared{ analysis::Inverted{analysis::Vector{analysis::Bool{}, 2}}}; auto elem = shared.getBottom(); |