From a8393aec9ea9cce2d235ed43d6732e7cceaa41e6 Mon Sep 17 00:00:00 2001 From: "Felix A. Wolf" Date: Thu, 17 Aug 2023 11:14:43 +0200 Subject: [PATCH] Fix #668 --- src/test/scala/viper/gobra/BenchmarkTests.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/scala/viper/gobra/BenchmarkTests.scala b/src/test/scala/viper/gobra/BenchmarkTests.scala index c10ecec0a..b54ea5301 100644 --- 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 = {