aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/firrtlTests/formal/VerificationSpec.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/VerificationSpec.scala
parentb516293f703c4de86397862fee1897aded2ae140 (diff)
All of src/ formatted with scalafmt
Diffstat (limited to 'src/test/scala/firrtlTests/formal/VerificationSpec.scala')
-rw-r--r--src/test/scala/firrtlTests/formal/VerificationSpec.scala6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/test/scala/firrtlTests/formal/VerificationSpec.scala b/src/test/scala/firrtlTests/formal/VerificationSpec.scala
index 73d1404d..a8e28c13 100644
--- a/src/test/scala/firrtlTests/formal/VerificationSpec.scala
+++ b/src/test/scala/firrtlTests/formal/VerificationSpec.scala
@@ -2,14 +2,14 @@
package firrtlTests.formal
-import firrtl.{CircuitState, SystemVerilogCompiler, ir}
+import firrtl.{ir, CircuitState, SystemVerilogCompiler}
import firrtl.testutils.FirrtlFlatSpec
import logger.{LogLevel, Logger}
import firrtl.options.Dependency
import firrtl.stage.TransformManager
class VerificationSpec extends FirrtlFlatSpec {
- behavior of "Formal"
+ behavior.of("Formal")
it should "generate SystemVerilog verification statements" in {
val compiler = new SystemVerilogCompiler
@@ -56,7 +56,7 @@ class VerificationSpec extends FirrtlFlatSpec {
| end
| end
|endmodule
- |""".stripMargin.split("\n") map normalized
+ |""".stripMargin.split("\n").map(normalized)
executeTest(input, expected, compiler)
}