From 06bc5ee4d60b8e3d7adc14c0650f21dc659cb052 Mon Sep 17 00:00:00 2001
From: Andrei Kozyrev <kozyrev.andreiii2016@gmail.com>
Date: Wed, 26 Jun 2024 23:37:22 +0200
Subject: [PATCH] Release v2.2.5+0.1.8+8.19

---
 src/test/benchmark/runBenchmark.test.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/test/benchmark/runBenchmark.test.ts b/src/test/benchmark/runBenchmark.test.ts
index 4e9983e1..27e18bf8 100644
--- a/src/test/benchmark/runBenchmark.test.ts
+++ b/src/test/benchmark/runBenchmark.test.ts
@@ -40,7 +40,7 @@ const reportPath = path.join(
     __dirname,
     "../../../src/test/benchmark/benchmarkPrivate/report.json"
 );
-const immBenchmark: Benchmark = {
+export const immBenchmark: Benchmark = {
     name: "Benchmark predef tactics in IMM group A",
     items: datasetFromJson(resPath, "imm"),
     inputModelsParams: onlyAutoModelsParams,
@@ -60,7 +60,7 @@ const immBenchmark: Benchmark = {
     perProofTimeoutMillis: 30000,
 };
 
-const benchmarks: Benchmark[] = [immBenchmark];
+const benchmarks: Benchmark[] = [];
 
 suite("Benchmark", () => {
     const reportHolder = new BenchmarkReportHolder(reportPath);