Project

General

Profile

Actions
Copy link

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
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

Also available in: Atom PDF