Project

General

Profile

Feature #9703

Update BenchExec

Added by Evgeny Novikov over 1 year ago. Updated about 2 months 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

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

Actions

History

#1

Updated by Evgeny Novikov about 2 months ago

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

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.

#2

Updated by Evgeny Novikov about 2 months ago

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

Updated by Ilja Zakharov about 2 months ago

  • Status changed from New to Resolved

Implemented in feature-9703. Updated to BenchExec 3.3.

#4

Updated by Evgeny Novikov about 2 months 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.

Also available in: Atom PDF