diff options
| author | Alasdair Armstrong | 2017-11-27 18:51:37 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-27 18:51:37 +0000 |
| commit | 1dcd59b9cb80f879dff96061ba7ee8111dcff0f9 (patch) | |
| tree | 0556bd49a2b8eb35dfb48d90571d573688b1935c /src/initial_check.mli | |
| parent | 4de5d52ee0f525d7c472e8aa3ee2a8158d888148 (diff) | |
Added test for short-circuiting of boolean operations
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions