Skip to content

Commit

Permalink
fix test
Browse files Browse the repository at this point in the history
  • Loading branch information
tmckay-sifive committed Dec 5, 2024
1 parent e898cf1 commit 1463989
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions src/test/scala/chiselTests/LTLSpec.scala
Original file line number Diff line number Diff line change
Expand Up @@ -413,17 +413,15 @@ class LTLSpec extends AnyFlatSpec with Matchers with ChiselRunners {
val io = IO(Input(UInt(8.W)))

val clockWire = Wire(Clock())
val resetWire = Wire(Reset())

withClockAndReset(clockWire, resetWire) {
withClock(clockWire) {
AssertProperty(Property.eventually(io.orR))
}

val clock = IO(Input(Clock()))
val reset = IO(Input(Reset()))

clockWire := clock
resetWire := reset
}

val chirrtl = ChiselStage.emitCHIRRTL(new Test)
}
}

0 comments on commit 1463989

Please sign in to comment.