Project

General

Profile

Actions

Feature #9567

closed

Update BenchExec

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

Status:
Closed
Priority:
Urgent
Category:
Addons
Target version:
Start date:
03/26/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment Klever uses its own version of BenchExec based on BenchExec 1.16 (LDV-BenchExec) since at that time there wasn't an appropriate version in PyPI yet. Now there is BenchExec 1.18 available.


Related issues 1 (0 open1 closed)

Blocks Klever - Feature #9507: Update VerifierCloud scheduler to the recent APIClosedIlja Zakharov02/27/2019

Actions
Actions

Also available in: Atom PDF