From adf1a2f43d7e36dc3a34daa2b397ad5db60356a7 Mon Sep 17 00:00:00 2001 From: Schuyler Eldridge Date: Thu, 13 Feb 2020 11:02:11 -0500 Subject: Add tests for (Un)?reachable InstanceGraph Methods Signed-off-by: Schuyler Eldridge --- .../firrtlTests/analyses/InstanceGraphTests.scala | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'src') diff --git a/src/test/scala/firrtlTests/analyses/InstanceGraphTests.scala b/src/test/scala/firrtlTests/analyses/InstanceGraphTests.scala index ee6ecd5f..8f748732 100644 --- a/src/test/scala/firrtlTests/analyses/InstanceGraphTests.scala +++ b/src/test/scala/firrtlTests/analyses/InstanceGraphTests.scala @@ -244,4 +244,22 @@ circuit Top : OfModule("Bar") -> 0) iGraph.staticInstanceCount should be (expectedCounts) } + + behavior of "Reachable/Unreachable helper methods" + + they should "report correct reachable/unreachable counts" in { + val input = + """|circuit Top: + | module Unreachable: + | skip + | module Reachable: + | skip + | module Top: + | inst reachable of Reachable + |""".stripMargin + val iGraph = new InstanceGraph(ToWorkingIR.run(parse(input))) + iGraph.modules should contain theSameElementsAs Seq(OfModule("Top"), OfModule("Reachable"), OfModule("Unreachable")) + iGraph.reachableModules should contain theSameElementsAs Seq(OfModule("Top"), OfModule("Reachable")) + iGraph.unreachableModules should contain theSameElementsAs Seq(OfModule("Unreachable")) + } } -- cgit v1.2.3