diff options
| author | Guillaume Bertholon | 2018-07-16 13:30:37 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-11-01 10:20:15 +0100 |
| commit | 1b0bd3a9e3a913a4928b68546a134a1a4448f9e8 (patch) | |
| tree | 3cd5378c9810fcd546c5f12ca25673ffb4ec2421 /dev/vm_printers.ml | |
| parent | 5c24b95890f6b57e6f20b03ade543e1e9d1e8324 (diff) | |
Add tests for primitive floats
Add utility ldexp and frexp functions to prevent dealing with the shift of
ldshiftexp and frshiftexp everywhere.
Also move primitive integer tests to place all primitive tests in the
same directory.
Diffstat (limited to 'dev/vm_printers.ml')
0 files changed, 0 insertions, 0 deletions