============================== UPLOAD start report ID="/", PARENT="NULL" with attributes: [{'Klever Core version': '0.1rc22.dev86+ng9b65c4a'}] PARENTS: [] ATTR ORDER: ['Klever Core version'] ============================== UPLOAD start report ID="//LKBCE", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD start report ID="//LKVOG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD start report ID="//VTG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD attrs report ID="//LKBCE", PARENT="NULL" with attributes: [{'Linux kernel': [{'Version': '2.6.33.20'}, {'Architecture': 'x86_64'}, {'Configuration': 'b4296c0'}]}] PARENTS: [] ATTR ORDER: ['Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration'] ============================== UPLOAD attrs report ID="//AVTG", PARENT="NULL" with attributes: [{'Linux kernel': [{'Version': '2.6.33.20'}, {'Architecture': 'x86_64'}, {'Configuration': 'b4296c0'}]}, {'LKVOG strategy': [{'Name': 'separate modules'}]}] PARENTS: [] ATTR ORDER: ['Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name'] ============================== UPLOAD attrs report ID="//VTG", PARENT="NULL" with attributes: [{'Linux kernel': [{'Version': '2.6.33.20'}, {'Architecture': 'x86_64'}, {'Configuration': 'b4296c0'}]}, {'LKVOG strategy': [{'Name': 'separate modules'}]}] PARENTS: [] ATTR ORDER: ['Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name'] ============================== UPLOAD attrs report ID="//LKVOG", PARENT="NULL" with attributes: [{'Linux kernel': [{'Version': '2.6.33.20'}, {'Architecture': 'x86_64'}, {'Configuration': 'b4296c0'}]}, {'LKVOG strategy': [{'Name': 'separate modules'}]}] PARENTS: [] ATTR ORDER: ['Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name'] ============================== UPLOAD data report ID="//LKVOG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD finish report ID="//LKBCE", PARENT="NULL" with attributes: NULL PARENTS: [] DELETING... ATTR ORDER: [] ============================== UPLOAD data report ID="//AVTG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD finish report ID="//LKVOG", PARENT="NULL" with attributes: NULL PARENTS: [] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/SA", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}, {'Rule specification': 'sync:race'}] PARENTS: [, ] ATTR ORDER: ['Verification object', 'Rule specification'] ============================== UPLOAD finish report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/SA", PARENT="NULL" with attributes: NULL PARENTS: [, ] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/EMG", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}, {'Rule specification': 'sync:race'}] PARENTS: [, ] ATTR ORDER: ['Verification object', 'Rule specification'] ============================== UPLOAD data report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/EMG", PARENT="NULL" with attributes: NULL PARENTS: [, ] ATTR ORDER: [] ============================== UPLOAD finish report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/EMG", PARENT="NULL" with attributes: NULL PARENTS: [, ] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/RSG", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}, {'Rule specification': 'sync:race'}] PARENTS: [, ] ATTR ORDER: ['Verification object', 'Rule specification'] ============================== UPLOAD finish report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/RSG", PARENT="NULL" with attributes: NULL PARENTS: [, ] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/Weaver", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}, {'Rule specification': 'sync:race'}] PARENTS: [, ] ATTR ORDER: ['Verification object', 'Rule specification'] ============================== UPLOAD finish report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/Weaver", PARENT="NULL" with attributes: NULL PARENTS: [, ] DELETING... ATTR ORDER: [] ============================== UPLOAD finish report ID="//AVTG", PARENT="NULL" with attributes: NULL PARENTS: [] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}] PARENTS: [, ] ATTR ORDER: ['Verification object'] ============================== UPLOAD data report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb", PARENT="NULL" with attributes: NULL PARENTS: [, ] ATTR ORDER: [] ============================== UPLOAD unknown report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb/unknown", PARENT="NULL" with attributes: NULL PARENTS: [, , ] ATTR ORDER: ['Klever Core version', 'Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name', 'Verification object'] ============================== UPLOAD finish report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb", PARENT="NULL" with attributes: NULL PARENTS: [, ] DELETING... ATTR ORDER: [] ============================== UPLOAD finish report ID="//VTG", PARENT="NULL" with attributes: NULL PARENTS: [] DELETING... ATTR ORDER: [] ============================== UPLOAD finish report ID="/", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD start report ID="/", PARENT="NULL" with attributes: [{'Klever Core version': '0.1rc22.dev86+ng9b65c4a'}] PARENTS: [] ATTR ORDER: ['Klever Core version'] ============================== UPLOAD start report ID="//LKBCE", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD start report ID="//LKVOG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD start report ID="//VTG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD attrs report ID="//LKBCE", PARENT="NULL" with attributes: [{'Linux kernel': [{'Version': '2.6.33.20'}, {'Architecture': 'x86_64'}, {'Configuration': 'b4296c0'}]}] PARENTS: [] ATTR ORDER: ['Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration'] ============================== UPLOAD attrs report ID="//AVTG", PARENT="NULL" with attributes: [{'Linux kernel': [{'Version': '2.6.33.20'}, {'Architecture': 'x86_64'}, {'Configuration': 'b4296c0'}]}, {'LKVOG strategy': [{'Name': 'separate modules'}]}] PARENTS: [] ATTR ORDER: ['Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name'] ============================== UPLOAD attrs report ID="//LKVOG", PARENT="NULL" with attributes: [{'Linux kernel': [{'Version': '2.6.33.20'}, {'Architecture': 'x86_64'}, {'Configuration': 'b4296c0'}]}, {'LKVOG strategy': [{'Name': 'separate modules'}]}] PARENTS: [] ATTR ORDER: ['Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name'] ============================== UPLOAD attrs report ID="//VTG", PARENT="NULL" with attributes: [{'Linux kernel': [{'Version': '2.6.33.20'}, {'Architecture': 'x86_64'}, {'Configuration': 'b4296c0'}]}, {'LKVOG strategy': [{'Name': 'separate modules'}]}] PARENTS: [] ATTR ORDER: ['Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name'] ============================== UPLOAD finish report ID="//LKBCE", PARENT="NULL" with attributes: NULL PARENTS: [] DELETING... ATTR ORDER: [] ============================== UPLOAD data report ID="//LKVOG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD data report ID="//AVTG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD finish report ID="//LKVOG", PARENT="NULL" with attributes: NULL PARENTS: [] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/SA", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}, {'Rule specification': 'sync:race'}] PARENTS: [, ] ATTR ORDER: ['Verification object', 'Rule specification'] ============================== UPLOAD finish report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/SA", PARENT="NULL" with attributes: NULL PARENTS: [, ] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/EMG", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}, {'Rule specification': 'sync:race'}] PARENTS: [, ] ATTR ORDER: ['Verification object', 'Rule specification'] ============================== UPLOAD data report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/EMG", PARENT="NULL" with attributes: NULL PARENTS: [, ] ATTR ORDER: [] ============================== UPLOAD finish report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/EMG", PARENT="NULL" with attributes: NULL PARENTS: [, ] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/RSG", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}, {'Rule specification': 'sync:race'}] PARENTS: [, ] ATTR ORDER: ['Verification object', 'Rule specification'] ============================== UPLOAD finish report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/RSG", PARENT="NULL" with attributes: NULL PARENTS: [, ] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/Weaver", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}, {'Rule specification': 'sync:race'}] PARENTS: [, ] ATTR ORDER: ['Verification object', 'Rule specification'] ============================== UPLOAD finish report ID="//AVTG/drivers/video/console/fbcon.ko/sync:race/Weaver", PARENT="NULL" with attributes: NULL PARENTS: [, ] DELETING... ATTR ORDER: [] ============================== UPLOAD start report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb", PARENT="NULL" with attributes: [{'Verification object': 'drivers/video/console/fbcon.ko'}] PARENTS: [, ] ATTR ORDER: ['Verification object'] ============================== UPLOAD finish report ID="//AVTG", PARENT="NULL" with attributes: NULL PARENTS: [] DELETING... ATTR ORDER: [] ============================== UPLOAD data report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb", PARENT="NULL" with attributes: NULL PARENTS: [, ] ATTR ORDER: [] ============================== UPLOAD verification report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb/verification", PARENT="NULL" with attributes: [] PARENTS: [, , ] ATTR ORDER: [] ============================== UPLOAD unsafe report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb/verification/unsafe_struct_display_*width", PARENT="NULL" with attributes: [{'Rule specification': 'sync:race'}, {'Error trace identifier': 'struct_display_*width'}] PARENTS: [, , , ] PARENT is usual ATTR ORDER: ['Klever Core version', 'Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name', 'Verification object', 'Rule specification', 'Error trace identifier'] ============================== UPLOAD unsafe report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb/verification/unsafe_struct_display_*height", PARENT="NULL" with attributes: [{'Rule specification': 'sync:race'}, {'Error trace identifier': 'struct_display_*height'}] PARENTS: [, , , ] PARENT is usual ATTR ORDER: ['Klever Core version', 'Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name', 'Verification object', 'Rule specification', 'Error trace identifier'] ============================== UPLOAD unsafe report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb/verification/unsafe_struct_display_*yres_virtual", PARENT="NULL" with attributes: [{'Rule specification': 'sync:race'}, {'Error trace identifier': 'struct_display_*yres_virtual'}] PARENTS: [, , , ] PARENT is usual ATTR ORDER: ['Klever Core version', 'Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name', 'Verification object', 'Rule specification', 'Error trace identifier'] ============================== UPLOAD unsafe report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb/verification/unsafe_struct_display_*rotate", PARENT="NULL" with attributes: [{'Rule specification': 'sync:race'}, {'Error trace identifier': 'struct_display_*rotate'}] PARENTS: [, , , ] PARENT is usual ATTR ORDER: ['Klever Core version', 'Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name', 'Verification object', 'Rule specification', 'Error trace identifier'] ============================== UPLOAD unsafe report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb/verification/unsafe_unsigned_long_softback_curr", PARENT="NULL" with attributes: [{'Rule specification': 'sync:race'}, {'Error trace identifier': 'unsigned_long_softback_curr'}] PARENTS: [, , , ] PARENT is usual ATTR ORDER: ['Klever Core version', 'Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name', 'Verification object', 'Rule specification', 'Error trace identifier'] ============================== UPLOAD unknown report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb/unknown", PARENT="NULL" with attributes: [{'Rule specification': 'sync:race'}] PARENTS: [, , ] ATTR ORDER: ['Klever Core version', 'Linux kernel:Version', 'Linux kernel:Architecture', 'Linux kernel:Configuration', 'LKVOG strategy:Name', 'Verification object', 'Rule specification'] ============================== UPLOAD finish report ID="//VTG/drivers/video/console/fbcon.ko/sync:race/rsb", PARENT="NULL" with attributes: NULL PARENTS: [, ] ATTR ORDER: [] ============================== UPLOAD data report ID="//VTG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD finish report ID="//VTG", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: [] ============================== UPLOAD finish report ID="/", PARENT="NULL" with attributes: NULL PARENTS: [] ATTR ORDER: []