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.sc | |
| 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.sc')
| -rw-r--r-- | build.sc | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -44,7 +44,9 @@ trait CommonModule extends CrossSbtModule with PublishModule { override def moduleDeps = super.moduleDeps ++ firrtlModule - override def ivyDeps = super.ivyDeps() ++ firrtlIvyDeps + override def ivyDeps = super.ivyDeps() ++ Agg( + ivy"com.lihaoyi::os-lib:0.7.7", + ) ++ firrtlIvyDeps def publishVersion = "3.5-SNAPSHOT" |