Project

General

Profile

Feature #9609

Avoid recursion in simple tests

Added by Evgeny Novikov 9 months ago. Updated 9 months ago.

Status:
Closed
Priority:
Urgent
Category:
Testing
Target version:
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

Blocks Klever - Feature #9583: Update CPAcheckerClosed04/03/2019

Actions

History

#1

Updated by Evgeny Novikov 9 months ago

#2

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

#3

Updated by Evgeny Novikov 9 months ago

  • Status changed from Resolved to Closed

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

Also available in: Atom PDF