Feature #92

it would be nice to see iocoChecker failure traces as soon as they are found

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

Status:ClosedStart date:11 Jun 2009
Priority:NormalDue date:
Assignee:-% Done:

100%

Category:-
Target version:1.3.0

Description

when running the checker to know whether ioco holds, sometime a single counter example suffices.
it would be nice combined with the stop button

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