Project

General

Profile

Actions
Copy link

Bug #1354

open

Local run loses drivers

Added by Vadim Mutilin over 13 years ago. Updated about 13 years ago.

Status:
New
Priority:
Normal
Assignee:
Pavel Shved
Category:
Infrastructure
Start date:
06/15/2011
Due date:
% Done:

0%

Estimated time:
Detected in build:
37665b26
Platform:
Published in build:

Description

Local CPAchecker run has 818 deleted drivers comparing to cluster run

Safe → Deleted 495
Unsafe → Deleted 10
Unknown → Deleted 313

temp link
http://shved:8999/stats/comparison/task+ids/9+10/name/ldv_cpa/user/pavel/host/localhost/password/no

Actions
Copy link
 #1

Updated by Pavel Shved over 13 years ago

  • Category set to Infrastructure
  • Assignee set to Pavel Shved

To be checked later.

It's been a long time I've performed a full-kernel local run...

Actions
Copy link
 #2

Updated by Pavel Shved about 13 years ago

  • Priority changed from High to Normal
Actions
Copy link

Also available in: Atom PDF