Project

General

Profile

Actions

Feature #11461

closed

Update BenchExec to 3.11

Added by Evgeny Novikov over 2 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
High
Category:
Addons
Target version:
Start date:
03/04/2022
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Klever uses BenchExec 3.3 released ~1.5 years ago. Let's try to use BenchExec 3.11 released ~1 month ago.

Actions #1

Updated by Evgeny Novikov over 2 years ago

  • Status changed from New to Resolved

I did this in branch update-benchexec. Simple tests passed, let's wait for CI results.

Actions #2

Updated by Evgeny Novikov over 2 years ago

  • Status changed from Resolved to Closed

Tests passed, so I merged the branch to master in f89dd244d.

Actions

Also available in: Atom PDF