Fix #668 (#669)

viperproject · Aug 17, 2023 · caca746 · caca746
1 parent f21fe70
commit caca746
Showing 1 changed file with 1 addition and 1 deletion.
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 = {