diff options
| author | Alasdair Armstrong | 2019-05-13 16:20:35 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-14 15:44:23 +0100 |
| commit | f6cc45f2788dc777d1fa35aa9a216de994992288 (patch) | |
| tree | d6e6fbbc63b335449027bd3c970fdc8cf74ba761 /src/initial_check.ml | |
| parent | 7626da55ce21cb885da4af70cd5724ca33a00b65 (diff) | |
SMT: Add comment explaining path conditionals
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions