Project

General

Profile

Actions

Feature #9604

closed

Develop new test suite for CPAchecker on base of Klever integration tests

Added by Evgeny Novikov almost 5 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
High
Category:
Addons
Target version:
-
Start date:
04/18/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

You can see the issue description at https://gitlab.com/sosy-lab/software/cpachecker/issues/578. Here I duplicate the issue because of it is more convenient for Klever developers.

Actions #1

Updated by Evgeny Novikov over 4 years ago

  • Priority changed from Urgent to High
  • Target version deleted (3.0)

Although this is important issue, but we have completely no time for it.

Actions #2

Updated by Evgeny Novikov about 3 years ago

Actions #3

Updated by Evgeny Novikov about 3 years ago

  • Target version set to 3.1

Let's do this in Klever 3.1.

Actions #4

Updated by Evgeny Novikov about 3 years ago

  • Target version changed from 3.1 to 3.2

We need to release Klever 3.1 faster due to an incompatibility with Clade 3.3+ and a new OpenStack cloud.

Actions #5

Updated by Evgeny Novikov almost 3 years ago

  • Status changed from Open to Closed
  • Target version deleted (3.2)

Indeed, this task was done even in Klever 1.0.

Actions #6

Updated by Evgeny Novikov almost 3 years ago

  • Blocks deleted (Feature #7356: Create additional validation set)
Actions

Also available in: Atom PDF