aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/firrtlTests/formal/ConvertAssertsSpec.scala
diff options
context:
space:
mode:
authorchick2020-08-14 19:47:53 -0700
committerJack Koenig2020-08-14 19:47:53 -0700
commit6fc742bfaf5ee508a34189400a1a7dbffe3f1cac (patch)
tree2ed103ee80b0fba613c88a66af854ae9952610ce /src/test/scala/firrtlTests/formal/ConvertAssertsSpec.scala
parentb516293f703c4de86397862fee1897aded2ae140 (diff)
All of src/ formatted with scalafmt
Diffstat (limited to 'src/test/scala/firrtlTests/formal/ConvertAssertsSpec.scala')
-rw-r--r--src/test/scala/firrtlTests/formal/ConvertAssertsSpec.scala22
1 files changed, 11 insertions, 11 deletions
diff --git a/src/test/scala/firrtlTests/formal/ConvertAssertsSpec.scala b/src/test/scala/firrtlTests/formal/ConvertAssertsSpec.scala
index c70a3ce4..847c211e 100644
--- a/src/test/scala/firrtlTests/formal/ConvertAssertsSpec.scala
+++ b/src/test/scala/firrtlTests/formal/ConvertAssertsSpec.scala
@@ -8,15 +8,15 @@ import firrtl.transforms.formal.ConvertAsserts
class ConvertAssertsSpec extends FirrtlFlatSpec {
val preamble =
- """circuit DUT:
- | module DUT:
- | input clock: Clock
- | input reset: UInt<1>
- | input x: UInt<8>
- | output y: UInt<8>
- | y <= x
- | node ne5 = neq(x, UInt(5))
- |""".stripMargin
+ """circuit DUT:
+ | module DUT:
+ | input clock: Clock
+ | input reset: UInt<1>
+ | input x: UInt<8>
+ | output y: UInt<8>
+ | y <= x
+ | node ne5 = neq(x, UInt(5))
+ |""".stripMargin
"assert nodes" should "be converted to predicated prints and stops" in {
val input = preamble +
@@ -29,7 +29,7 @@ class ConvertAssertsSpec extends FirrtlFlatSpec {
|""".stripMargin
val outputCS = ConvertAsserts.execute(CircuitState(parse(input), Nil))
- (parse(outputCS.circuit.serialize)) should be (parse(ref))
+ (parse(outputCS.circuit.serialize)) should be(parse(ref))
}
"assert nodes with no message" should "omit printed messages" in {
@@ -42,6 +42,6 @@ class ConvertAssertsSpec extends FirrtlFlatSpec {
|""".stripMargin
val outputCS = ConvertAsserts.execute(CircuitState(parse(input), Nil))
- (parse(outputCS.circuit.serialize)) should be (parse(ref))
+ (parse(outputCS.circuit.serialize)) should be(parse(ref))
}
}