diff options
| author | Jiuyang Liu | 2021-05-17 21:58:21 +0000 |
|---|---|---|
| committer | GitHub | 2021-05-17 21:58:21 +0000 |
| commit | 302c664bf3bc6de5b197a97990f80c4edaa789b6 (patch) | |
| tree | fa223a8b60902c647014e5a85d89420dda1e7ea5 /build.sbt | |
| parent | c2d72fd8a4f3558094094eed2f4a12f85d080c41 (diff) | |
Use os-lib to rewrite Z3ModelChecker (#2223)
* add os-lib to dependency.
* use os-lib in Z3ModelChecker
* fix for review by Kevin.
Diffstat (limited to 'build.sbt')
| -rw-r--r-- | build.sbt | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -36,6 +36,7 @@ lazy val firrtlSettings = Seq( "org.json4s" %% "json4s-native" % "3.6.11", "org.apache.commons" % "commons-text" % "1.8", "io.github.alexarchambault" %% "data-class" % "0.2.5", + "com.lihaoyi" %% "os-lib" % "0.7.6", ), // macros for the data-class library libraryDependencies ++= { |