« Previous | Next » 

Revision e27a130f


Added by Axel Belinfante almost 11 years ago

IocoCheckerFailuresPane.insertFailure() now keeps table and array sorted

advantage: table shown does not change when we click 'Stop'
disadvantage: costlyer in time than sorting at the end

- clean up dead code
original failure list in IocoCheckerResult
code to sort that list
code that displays that list in IocoCheckerFailuresPane.showFailures

- in 'show iocoChecker failure trace in implementation:
we should take care of completing the model-as-sut
before/during simulation of the trace (do we have code for that somewhere?)
(otherwise we cannot show the errors that result from completion,
e.g. the ones reported for fwgc/s4)


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences