Project

General

Profile

Bug #8532

Do not filter out rows in tables that have not attribute values when ordering by those attributes

Added by Evgeny Novikov over 1 year ago. Updated about 1 year ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
10/30/2017
Due date:
12/19/2017
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

I noticed that when tested #8489, but indeed it is a more generic issue. Although it is unpleasant, it doesn't seem very crucial since it exists for a long time but nobody complained.


Files

Job-ddb321d8b0-0(1).zip (106 MB) Job-ddb321d8b0-0(1).zip Ilja Zakharov, 01/22/2018 01:39 PM

Related issues

Related to Klever - Feature #8489: Show computational resources consumed by verifier in tables with safes/unsafes/verification unknownsClosed10/10/201710/27/2017

Actions

History

#1

Updated by Vladimir Gratinskiy over 1 year ago

  • % Done changed from 0 to 100
  • Status changed from New to Feedback
  • Due date set to 12/19/2017

As I know only list of reports had this problem. I've fixed it in branch "marks-improvements" but couldn't check if it works well. Please give me feedback if it works.

#2

Updated by Evgeny Novikov over 1 year ago

  • Target version changed from 2.0 to 1.0

As far as we postpone Klever version:0.3, let's include this issue there.

#3

Updated by Ilja Zakharov about 1 year ago

It does not work as expected. I have attached an example of a solved job where it can be tested.

For instance, you can open the page with Unknowns where more than 30 pages of reports. Then choose sorting order "Order by verifiers CPU time" and Bridge will only show 2 pages of results where the rest unknowns are removed. Evgeny meant this as an incorrect behaviour.

#4

Updated by Vladimir Gratinskiy about 1 year ago

  • Status changed from Open to Resolved

Fixed.

#5

Updated by Ilja Zakharov about 1 year ago

  • Status changed from Resolved to Verified
#6

Updated by Ilja Zakharov about 1 year ago

  • Status changed from Verified to Closed

Also available in: Atom PDF