diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-02-19 13:00:49 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-02-21 13:29:39 +0100 |
commit | 8f8a4135be4786a04b781bdf669e642d8383d91a (patch) | |
tree | 33be757eb89a4a07e55fe9bb0201b972182967b6 /driver/Linker.ml | |
parent | 28f235806aa0918499b2ef162110f513ebe4db30 (diff) | |
download | compcert-8f8a4135be4786a04b781bdf669e642d8383d91a.tar.gz compcert-8f8a4135be4786a04b781bdf669e642d8383d91a.zip |
Add interoperability test for functions returning small integer types
Diffstat (limited to 'driver/Linker.ml')
0 files changed, 0 insertions, 0 deletions