Feature #179

option to apply angelic completion to model?

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

Status:ClosedStart date:01 Oct 2009
Priority:NormalDue date:
Assignee:-% Done:

100%

Category:-
Target version:1.3.0

Description

add toggle button to do angelic completion to model,
to avoid having to use Utraces (which costs testing power)

would be nice to have spec and some impl mutants that demo (exploit) effect of using straces, utraces, angelic completion

History

#1 Updated by Axel Belinfante over 10 years ago

  • % Done changed from 0 to 90

implemented in 042ce5400a578517f44de3091a18f9d339fc0545, and used when showing/doing simulation of iocoChecker failure trace in model-as-sut;
no (g)ui yet to be able to use it for testing.

#2 Updated by Axel Belinfante over 10 years ago

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

added gui support for it in 11a2e3317d946311e727f05bdb49b5046af5f8d2

#3 Updated by Axel Belinfante over 10 years ago

  • Target version set to 1.3.0

Also available in: Atom PDF