FAQ

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 --check-loops.