blob: 6546e147fecaf319bdd7dece8fc2b7640993a1c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
package firrtlTests.graph
import java.io._
import org.scalatest._
import org.scalatest.prop._
import org.scalatest.Matchers._
import firrtl.graph._
import firrtlTests._
class DiGraphTests extends FirrtlFlatSpec {
val acyclicGraph = DiGraph(Map(
"a" -> Set("b","c"),
"b" -> Set("d"),
"c" -> Set("d"),
"d" -> Set("e"),
"e" -> Set.empty[String]))
val cyclicGraph = DiGraph(Map(
"a" -> Set("b","c"),
"b" -> Set("d"),
"c" -> Set("d"),
"d" -> Set("a")))
acyclicGraph.findSCCs.filter(_.length > 1) shouldBe empty
cyclicGraph.findSCCs.filter(_.length > 1) should not be empty
acyclicGraph.path("a","e") should not be empty
an [acyclicGraph.PathNotFoundException] should be thrownBy acyclicGraph.path("e","a")
acyclicGraph.linearize.head should equal ("a")
a [cyclicGraph.CyclicException] should be thrownBy cyclicGraph.linearize
}
|
