luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-09-03 07:13:04 +02:00
Code Issues Packages Projects Releases Wiki Activity

Internals: Clean some UASSERTs. No functional change.

Browse Source
This commit is contained in:
Wilson Snyder
2018-06-16 18:00:21 -04:00
parent 1d74657bbb
commit 047a08c999
3 changed files with 14 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3GraphTest.cpp
+6 -3
View File
@@ -119,9 +119,12 @@ public:
gp->stronglyConnected(&V3GraphEdge::followAlwaysTrue);
dump();
UASSERT(i->color()!=a->color() && a->color() != g2->color() && g2->color() != q->color(), "Separate colors not assigned");
UASSERT(a->color()==b->color() && a->color()==g1->color(), "Strongly connected nodes not colored together");
UASSERT(g2->color()==g3->color(), "Strongly connected nodes not colored together");
UASSERT(i->color()!=a->color() && a->color() != g2->color() && g2->color() != q->color(),
"SelfTest: Separate colors not assigned");
UASSERT(a->color()==b->color() && a->color()==g1->color(),
"SelfTest: Strongly connected nodes not colored together");
UASSERT(g2->color()==g3->color(),
"SelfTest: Strongly connected nodes not colored together");
}
};