Project

General

Profile

Actions
Copy link

Bug #4706

open

Unsupported error traces for the new version of CPAchecker (rev. 10561)

Added by Vadim Mutilin about 10 years ago. Updated about 10 years ago.

Status:
Resolved
Priority:
Normal
Assignee:
Vitaly Mordan
Category:
-
Start date:
03/11/2014
Due date:
% Done:

0%

Estimated time:
Detected in build:
cpachecker-1.3
Platform:
Published in build:

Description

Analytics center shows an empty trace for the module

drivers/gpu/drm/vmwgfx/vmwgfx.ko    ldv_main10_sequence_infinite_withcheck_stateful

The etv log

etv: DEBUG: A given error trace of CPAchecker has supported format ('1.2').
etv: INFO: Evaluate 'cpachecker' converter '/all/qaserver-work/visual/etv/../etv/converters/cpachecker'.
etv: WARNING: CPAchecker node value 'switch (tmp)' wasn't recognized.
etv: WARNING: A CPAchecker error trace specified has unsupported format in string ' __ret_warn_on = 0;'.
etv: WARNING: A CPAchecker error trace specified has unsupported format in string ' return 0;'.
etv: WARNING: A CPAchecker error trace specified has unsupported format in string ' return 0;'.
etv: WARNING: CPAchecker node value 'Return edge from ww_mutex_lock___2 to ttm_bo_reserve_nolru___2' wasn't recognized.
etv: WARNING: A CPAchecker error trace specified has unsupported format in string ' return 0;'.
etv: WARNING: A CPAchecker error trace specified has unsupported format in string ' return 0;'.
etv: WARNING: CPAchecker node value 'Return edge from ttm_bo_reserve___2 to vmw_dmabuf_to_placement' wasn't recognized.
etv: WARNING: A CPAchecker error trace specified has unsupported format in string ' return 0;'.
etv: WARNING: A CPAchecker error trace specified has unsupported format in string ' return 0;'.
etv: WARNING: CPAchecker node value 'Return edge from vmw_fb_off to vmw_ldu_crtc_set_config' wasn't recognized.
etv: WARNING: A CPAchecker error trace specified has unsupported format in string ' __CPAchecker_TMP_4 = 1;'.

See branch cpachecker-1.3

Actions
Copy link
 #1

Updated by Vadim Mutilin about 10 years ago

  • Status changed from New to Resolved

fixed in commit 7837ea9

Actions
Copy link

Also available in: Atom PDF