aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/firrtlTests/formal/AssertSubmoduleAssumptionsSpec.scala
diff options
context:
space:
mode:
authorJack Koenig2020-08-15 10:16:28 -0700
committerGitHub2020-08-15 10:16:28 -0700
commitf1c314e6c7e116df33ffc215ec907212037292dc (patch)
treef06060e9fb52f4f5b30bc56db78acb6bd371642d /src/test/scala/firrtlTests/formal/AssertSubmoduleAssumptionsSpec.scala
parent2e5f942d25d7afab79ee1263c5d6833cad9d743d (diff)
parent9adbe1ede59f9aeb25e71fd8318a4e7e46c4cc34 (diff)
Merge pull request #1852 from freechipsproject/format-src-4
Apply Scalafmt Rewriting
Diffstat (limited to 'src/test/scala/firrtlTests/formal/AssertSubmoduleAssumptionsSpec.scala')
-rw-r--r--src/test/scala/firrtlTests/formal/AssertSubmoduleAssumptionsSpec.scala16
1 files changed, 8 insertions, 8 deletions
diff --git a/src/test/scala/firrtlTests/formal/AssertSubmoduleAssumptionsSpec.scala b/src/test/scala/firrtlTests/formal/AssertSubmoduleAssumptionsSpec.scala
index edfd31d3..e413a70d 100644
--- a/src/test/scala/firrtlTests/formal/AssertSubmoduleAssumptionsSpec.scala
+++ b/src/test/scala/firrtlTests/formal/AssertSubmoduleAssumptionsSpec.scala
@@ -1,4 +1,3 @@
-
package firrtlTests.formal
import firrtl.{CircuitState, Parser, Transform, UnknownForm}
@@ -7,24 +6,25 @@ import firrtl.transforms.formal.AssertSubmoduleAssumptions
import firrtl.stage.{Forms, TransformManager}
class AssertSubmoduleAssumptionsSpec extends FirrtlFlatSpec {
- behavior of "AssertSubmoduleAssumptions"
+ behavior.of("AssertSubmoduleAssumptions")
- val transforms = new TransformManager(Forms.HighForm, Forms.MinimalHighForm)
- .flattenedTransformOrder ++ Seq(new AssertSubmoduleAssumptions)
+ val transforms = new TransformManager(Forms.HighForm, Forms.MinimalHighForm).flattenedTransformOrder ++ Seq(
+ new AssertSubmoduleAssumptions
+ )
def run(input: String, check: Seq[String], debug: Boolean = false): Unit = {
val circuit = Parser.parse(input.split("\n").toIterator)
- val result = transforms.foldLeft(CircuitState(circuit, UnknownForm)) {
- (c: CircuitState, p: Transform) => p.runTransform(c)
+ val result = transforms.foldLeft(CircuitState(circuit, UnknownForm)) { (c: CircuitState, p: Transform) =>
+ p.runTransform(c)
}
- val lines = result.circuit.serialize.split("\n") map normalized
+ val lines = result.circuit.serialize.split("\n").map(normalized)
if (debug) {
println(lines.mkString("\n"))
}
for (ch <- check) {
- lines should contain (ch)
+ lines should contain(ch)
}
}