Project

General

Profile

Actions
Copy link

Feature #7125

closed

Update to CPAchecker r20583

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

Status:
Rejected
Priority:
High
Assignee:
Evgeny Novikov
Category:
Addons
Target version:
-
Start date:
04/26/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Anton discovered that the following modules aren't analyzed due to the known and fixed issue in CPAchecker r20376:
  1. drivers/net/wireless/hostap/hostap_pci.ko
  2. drivers/net/wireless/hostap/hostap_plx.ko
  3. drivers/net/wireless/hostap/hostap_cs.ko

Related issues 1 (0 open — 1 closed)

Precedes Klever - Feature #7454: Update CPAchecker to revision 22517ClosedEvgeny Novikov04/27/201604/27/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 8 years ago

  • Status changed from New to Rejected

#7454 includes this.

Actions
Copy link

Also available in: Atom PDF