Merge branch 'master' into z3_api_flag

viperproject · Sep 8, 2023 · 7b52085 · 7b52085
2 parents 25e635e + d2acefb
commit 7b52085
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/test/scala/viper/gobra/BenchmarkTests.scala b/src/test/scala/viper/gobra/BenchmarkTests.scala
@@ -68,7 +68,7 @@ trait BenchmarkTests extends StatisticalTestSuite {
     override def init(verifier: Verifier): Unit = () // ignore verifier argument as we reuse the Gobra / Parser / TypeChecker / etc. instances for all tests
 
     override def reset(files: Seq[Path]): Unit =
-      createConfig(Array("-i", files.toVector.mkString(" ")))
+      config = Some(createConfig(Array("-i", files.toVector.mkString(" "))))
 
 
     private def createConfig(args: Array[String]): Config = {

diff --git a/viperserver b/viperserver