You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[error] /home/dkasza/projects/chisel-formal/src/main/scala/chisel3/formal/FormalSpec.scala:47:34: value foreach is not a member of java.util.stream.Stream[String]
[error] for (line <- result.output.lines) {
[error] ^
[error] /home/dkasza/projects/chisel-formal/src/main/scala/chisel3/formal/FormalSpec.scala:48:27: type mismatch;
[error] found : Array[Object]
[error] required: Array[String]
[error] Note: Object >: String, but class Array is invariant in type T.
[error] You may wish to investigate a wildcard type such as `_ >: String`. (SLS 3.2.10)
[error] checkLine(result, rtlLines, line)
[error] ^
[error] two errors found
[error] (Compile / compileIncremental) Compilation failed
[error] Total time: 3 s, completed Sep 16, 2020, 11:25:46 PM
I tried to build earlier revisions, but got similar errors.
Am I doing something wrong?
The text was updated successfully, but these errors were encountered:
I cannot compile ae3a437.
Commands I used:
git clone [email protected]:tdb-alcorn/chisel-formal.git
cd chisel-formal/
sbt compile
Result:
I tried to build earlier revisions, but got similar errors.
Am I doing something wrong?
The text was updated successfully, but these errors were encountered: