search

tdb-alcorn / chisel-formal

Other
23 stars 3 forks source link

FormalSpec.scala: replace lines by linesIterator #6

Closed Martoni closed 4 years ago

Martoni commented 4 years ago

As @danielkasza advice.