diff options
| author | Alasdair | 2020-01-17 00:19:16 +0000 |
|---|---|---|
| committer | Alasdair | 2020-01-17 00:19:16 +0000 |
| commit | 0ccf65b2f786175c49d2e569cf8e335566734e47 (patch) | |
| tree | a78cb09dd0b16aba067d2359c0fff23e55bb0763 /src/process_file.mli | |
| parent | bc6b51d70a783df161f8fb43264ea1558ff37bac (diff) | |
Keep track of source locations for all IR branches
Useful for tracking down non-determinism
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions