Delta debugging: Demos

Click Run Code in any of the tabs below to observe the delta debugging steps and final output.

NoteThe culprit DSL

The culprit DSL provides two operators:

1. all_of(...): all lines must occur to trigger the failure

2. any_of(...): any line is sufficient to trigger the failure

These compose. For example any_of(1, all_of(4, 5)) means line 1 or both of lines 4 and 5 together are sufficient to trigger the failure.

Basics

The application crashes when legacy auth_mode is active AND port is set to 443.

1-Minimality

The application crashes when port and host are set together OR caching is enabled. Reorder the lines (and culprit definition), rerun, and reason about 1-minimality vs. global minimum.

Complexity

The application crashes when legacy auth_mode is active AND port is set to 443. The only difference to the Basics example is the position of the configuration lines.