diff options
| author | gingerBill <bill@gingerbill.org> | 2021-06-16 12:07:24 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2021-06-16 12:07:24 +0100 |
| commit | 41f2539484931cd73dfca36dcbdba01e954fc350 (patch) | |
| tree | a76cd589c96065e2f2becb53004d564b0c6f5ff3 /src/check_expr.cpp | |
| parent | 8f57bb07991930f242ec4ab4d9fb3a851a4e9662 (diff) | |
Improve logic for diverging procedures by checking if it terminates
Diffstat (limited to 'src/check_expr.cpp')
0 files changed, 0 insertions, 0 deletions