diff options
| author | Jiuyang Liu | 2021-05-20 03:09:24 +0000 |
|---|---|---|
| committer | GitHub | 2021-05-20 03:09:24 +0000 |
| commit | 8c9007365d038d23b94bb4d1a6a7f20448f951eb (patch) | |
| tree | 7058bae5cf501222a60df23277afd88ecd963b9c /build.sbt | |
| parent | 761447a2d88563e2b6c0a5a538abd4a2ebf70620 (diff) | |
implement model checking API for chiseltest (#1910)
* add os-lib to dependency.
* implement EndToEndSMTBaseSpec
* rename to SMTModelCheckingSpec
* add documentation.
* fix for review.
Diffstat (limited to 'build.sbt')
| -rw-r--r-- | build.sbt | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -72,6 +72,7 @@ lazy val chiselSettings = Seq ( libraryDependencies ++= Seq( "org.scalatest" %% "scalatest" % "3.1.2" % "test", "org.scalatestplus" %% "scalacheck-1-14" % "3.2.2.0" % "test", + "com.lihaoyi" %% "os-lib" % "0.7.7", ), ) ++ ( // Tests from other projects may still run concurrently |