- Delta debugging is slow
Read the section about how to speed up delta debugging.
- ddSMT seems to be stuck in an infinite loop
To ensure termination of the minimization procedure, we require that it is impossible to get into a cycle between applications of mutators. For this, we need to guarantee that all mutations applied to the input by ddSMT result in a “simpler” input. Formally, this would require to define a ranking over possible simplifications and exclude mutations that do not simplify the input according to this ranking in order to break cycles. In practice, however, defining such a ranking is difficult. If you think that ddSMT got into a cycle, try option