Project

General

Profile

Actions
Copy link

Feature #6632

closed

Update BenchExec to last stable version

Added by Evgeny Novikov almost 9 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Addons
Target version:
-
Start date:
01/29/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

We need benefit from the most recent versions of addons.

Related issues 2 (0 open — 2 closed)

Blocks Klever - Feature #6545: Invoke BenchExec task with several C filesClosedIlja Zakharov01/28/2016

Actions
Blocks Klever - Feature #6618: Not all restrictions of verification tasks are passed to BenchExecClosedIlja Zakharov01/29/2016

Actions
Actions
Copy link

Also available in: Atom PDF