diff options
| author | Thomas Bauereiss | 2020-03-27 01:19:40 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-10 13:22:11 +0100 |
| commit | 3ec7f6d6373b6b8b5011daecbcf712f5a9d2dc7c (patch) | |
| tree | 33957d9e6a1c32e7a94e30b24bab0129acf8de6a /src/gdbmi_parser.mly | |
| parent | 8d28bb30b0ff1812fa0ad58147d42cddde3099da (diff) | |
Be more careful when flow-typing loops
Asserting constraints from the loop condition in the body is fine for
while-loops, but doesn't make sense for until-loops.
Diffstat (limited to 'src/gdbmi_parser.mly')
0 files changed, 0 insertions, 0 deletions