cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixup! Implementation of Lengauer-Tarjan algorithm to find dominators

Browse Source
This commit is contained in:
Kamil Śliwak 2023-08-11 17:27:04 +02:00 committed by r0qs
parent d5dbab0b91
commit bf938d2712
No known key found for this signature in database
GPG Key ID: 61503DBA6667276C
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
test/libyul/DominatorTest.cpp
View File

@ -28,12 +28,12 @@ namespace solidity::yul::test
struct ImmediateDominatorTest
{
struct Vertex {
std::string data;
std::string name;
std::vector<Vertex*> successors;
bool operator<(Vertex const& _other) const
{
return data < _other.data;
return name < _other.name;
}
};
@ -457,7 +457,7 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
> dominatorFinder(*test->entry, test->numVertices);
for (auto const&[v, idx]: dominatorFinder.vertexIndices())
BOOST_CHECK(test->expectedDFSIndices.at(v.data) == idx);
BOOST_CHECK(test->expectedDFSIndices.at(v.name) == idx);
BOOST_TEST(dominatorFinder.immediateDominators() == test->expectedIdom);
}
}