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

Updated by Evgeny Novikov over 8 years ago

  • Status changed from New to Open
  • Assignee set to Evgeny Novikov
  • Priority changed from High to Urgent

Let's do it!

Actions
Copy link
 #2

Updated by Evgeny Novikov over 8 years ago

  • Status changed from Open to Closed

Basic support of BenchExec 1.8 was added in 75019da and older versions of BenchExec can fail starting from it. Warnings with unspecified memory unit were fixed in c2ff872.

Actions
Copy link

Also available in: Atom PDF