Project

General

Profile

Actions
Copy link

Feature #9609

closed

Avoid recursion in simple tests

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

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Testing
Target version:
3.0
Start date:
04/19/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Thanks to recent changes in CPAchecker it does not erroneously support recursion in configuration "-ldv-bam" (#9583). Unfortunately, some our tests use recursion although they do not need it actually. The generic rule is that tests should be simple to avoid interference with complex issues.

Related issues 1 (0 open — 1 closed)

Blocks Klever - Feature #9583: Update CPAcheckerClosedEvgeny Novikov04/03/2019

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 5 years ago

Actions
Copy link
 #2

Updated by Evgeny Novikov over 5 years ago

  • Status changed from New to Resolved

In branch update-cpachecker I removed one excessive test case that used recursion intentionally and update another one where recursion was used unintentionally.

Actions
Copy link
 #3

Updated by Evgeny Novikov over 5 years ago

  • Status changed from Resolved to Closed

After tests passed, I merged the branch to master in 1085dfa3c.

Actions
Copy link

Also available in: Atom PDF