Project

General

Profile

Actions
Copy link

Feature #9604

closed

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

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

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
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
Copy link

Also available in: Atom PDF