diff
diffCompare two program runs to pinpoint their first causal divergence, aligning both causal streams and identifying the first event where they part. Returns MATCH, DIVERGED, or REFUSED when no verdict exists.
Instructions
first causal divergence between two runs. Aligns the two causal streams and names the first event where they part, with drill-in commands; MATCH or DIVERGED, or REFUSED when no verdict exists.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| task | No | compare one recorded task's stream by name instead of the thread streams; what a task IS is the recorder's own, and `info` names the ones a run has | |
| run_a | Yes | the first run: run id, a unique prefix of one, or `last` (the newest trace) | |
| run_b | Yes | the second run: run id, a unique prefix of one, or `last` (the newest trace) | |
| context | No | common causal steps to show before a divergence | |
| ignore_moves | No | pair a function that left one file with the same-named function that appeared in another, then compare; the pairing is printed with the verdict |