Project

General

Profile

Actions
Copy link

Feature #9703

closed

Update BenchExec

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

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Addons
Target version:
3.0
Start date:
06/06/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

I do not expect anything useful from this update but let's be in touch.

Related issues 1 (0 open — 1 closed)

Related to Klever - Bug #10585: Do not fail when there is not appropriate Java for CPAcheckerRejectedIlja Zakharov11/19/2020

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 4 years ago

  • Subject changed from Update to BenchExec 1.19 to Update BenchExec
  • Assignee set to Ilja Zakharov
  • Priority changed from High to Urgent
  • Target version set to 3.0

We still use BenchExec 1.18 released ~2 years ago. This is not so stable package that can be used without updates. Most likely numerous tricky issues were fixed in new versions. Unfortunately, we can expect some new limitations for users, e.g. that one can use BenchExec just on Ubuntu without much pain. Besides, there may be new bugs. Let's see.

Actions
Copy link
 #2

Updated by Evgeny Novikov almost 4 years ago

  • Related to Bug #10585: Do not fail when there is not appropriate Java for CPAchecker added
Actions
Copy link
 #3

Updated by Ilja Zakharov almost 4 years ago

  • Status changed from New to Resolved

Implemented in feature-9703. Updated to BenchExec 3.3.

Actions
Copy link
 #4

Updated by Evgeny Novikov almost 4 years ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in ea26920c0. I am not sure that our CI evaluates new BenchExec well enough, so, let's see further and fix issues if so.

Actions
Copy link

Also available in: Atom PDF