Project

General

Profile

Feature #1112

Feature #967: Integrate formal analyses in the nightly build

Implement n analyses master

Added by Anonymous almost 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
01/07/2013
Due date:
% Done:

100%

Estimated time:

Description

It should run all available analyses on a given component

History

#1 Updated by Anonymous almost 8 years ago

  • Assignee changed from Bernhard Sch├Ątz to Anonymous

#2 Updated by Anonymous almost 8 years ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Anonymous)
  • % Done changed from 0 to 100

Also available in: Atom PDF