Bug #271

iocoChecker results are not sorted by increasing trace length

Added by Axel Belinfante over 10 years ago. Updated over 10 years ago.

Status:ClosedStart date:13 Jan 2010
Priority:NormalDue date:
Assignee:-% Done:

100%

Category:-
Target version:1.3.0

Description

currently it seems sorted alphabetically.
we want it firstly be increasing trace lenght, and lexicographically for each different trace length

History

#1 Updated by Axel Belinfante over 10 years ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

#2 Updated by Axel Belinfante over 10 years ago

  • Target version set to 1.3.0

Also available in: Atom PDF