Project

General

Profile

Actions
Copy link

Feature #11461

closed

Update BenchExec to 3.11

Added by Evgeny Novikov almost 3 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Addons
Target version:
3.5
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
Copy link
 #1

Updated by Evgeny Novikov almost 3 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
Copy link
 #2

Updated by Evgeny Novikov almost 3 years ago

  • Status changed from Resolved to Closed

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

Actions
Copy link

Also available in: Atom PDF