diff options
| author | Jason Gross | 2018-12-03 18:10:03 -0500 |
|---|---|---|
| committer | Jason Gross | 2019-01-24 14:29:03 -0500 |
| commit | a10076e834720c05e55397c9e26b9d7a8786298b (patch) | |
| tree | 8c29f94b44247d50f16dfa9ee8469c5da362b748 /kernel/nativecode.ml | |
| parent | 4e66d30ba33310dfc96f7f1e57c651db9fc53c97 (diff) | |
Move cleanup from the test-suite to Z.div_mod_to_quot_rem_cleanup
Also fold it into `Z.div_mod_to_quot_rem`
Note that the test-suite file is a bit slow. On my machine, it is
```
real 2m32.983s
user 2m32.544s
sys 0m0.492s
```
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions