diff options
| author | Robert Norton | 2018-06-27 16:18:00 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-27 18:03:12 +0100 |
| commit | 230cbb018b6808b103d1a815de64d48422a88191 (patch) | |
| tree | a2d9a05de365db72ee23008e13b732b7154f098a /src/bytecode_util.ml | |
| parent | a7e350250069a46652d2f07351701d814024d882 (diff) | |
Add a new function cycle_limit_reached that returns bool, allowing for graceful exit on reaching cycle limit. This aids coverage and valgrind instrumentation.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions