DebugACrash - Given a predicate that determines whether a component crashes on a program, try to destructively reduce the program while still keeping the predicate true.
source not stored for this graph (policy: none)
no test coverage detected