option to apply angelic completion to model?
|Status:||Closed||Start date:||01 Oct 2009|
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