diff options
| author | Kevin Laeufer | 2021-08-25 12:38:56 -0700 |
|---|---|---|
| committer | GitHub | 2021-08-25 12:38:56 -0700 |
| commit | 3840fec3d918f23df07a18311136ac6a1bc365e1 (patch) | |
| tree | 2b8d2717c06f203a76bde408d477462b66f6949d /build.sbt | |
| parent | bf46afcebcb13e51d1e8c96ea2755fdcb352db4c (diff) | |
replace custom model checker with chiseltest formal verify command (#2075)
* replace custom model checker with chiseltest formal verify command
* integration-tests can make use of chiseltest
This is a compromise solution to avoid issues
with binary compatibility breaking changes in chisel3.
* ci: move integration tests into separate job
* run integration tests only for one scala version
* ci: install espresso for integration tests
* Update build.sbt
Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>
Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>
Diffstat (limited to 'build.sbt')
| -rw-r--r-- | build.sbt | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -4,7 +4,8 @@ enablePlugins(SiteScaladocPlugin) val defaultVersions = Map( "firrtl" -> "edu.berkeley.cs" %% "firrtl" % "1.5-SNAPSHOT", - "treadle" -> "edu.berkeley.cs" %% "treadle" % "1.5-SNAPSHOT" + "treadle" -> "edu.berkeley.cs" %% "treadle" % "1.5-SNAPSHOT", + "chiseltest" -> "edu.berkeley.cs" %% "chiseltest" % "0.5-SNAPSHOT", ) lazy val commonSettings = Seq ( @@ -225,6 +226,16 @@ lazy val noPluginTests = (project in file ("no-plugin-tests")). libraryDependencies += defaultVersions("firrtl"), )) +// tests elaborating and executing/formally verifying a Chisel circuit with chiseltest +lazy val integrationTests = (project in file ("integration-tests")). + dependsOn(chisel). + settings(commonSettings: _*). + settings(chiselSettings: _*). + settings(usePluginSettings: _*). + settings(Seq( + libraryDependencies += defaultVersions("chiseltest") % "test", + )) + lazy val docs = project // new documentation project .in(file("docs-target")) // important: it must not be docs/ .dependsOn(chisel) |