Project

General

Profile

Actions

Bug #8532

closed

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

Added by Evgeny Novikov over 6 years ago. Updated about 6 years 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 1 (0 open1 closed)

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

Actions
Actions #1

Updated by Vladimir Gratinskiy over 6 years ago

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

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.

Actions #2

Updated by Evgeny Novikov about 6 years 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.

Actions #3

Updated by Ilja Zakharov about 6 years 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.

Actions #4

Updated by Vladimir Gratinskiy about 6 years ago

  • Status changed from Open to Resolved

Fixed.

Actions #5

Updated by Ilja Zakharov about 6 years ago

  • Status changed from Resolved to Verified
Actions #6

Updated by Ilja Zakharov about 6 years ago

  • Status changed from Verified to Closed
Actions

Also available in: Atom PDF