Release v2.2.5+0.1.8+8.19

JetBrains-Research · Jun 26, 2024 · 06bc5ee · 06bc5ee
1 parent 8b23ef4
commit 06bc5ee
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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);