diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:22:31 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:23:38 +0200 |
commit | ffc03f2dcb24438d2900743848005c9a058e649c (patch) | |
tree | cc861e334a4dbd0990038e870d34ff185ecafe7c /x86/extractionMachdep.v | |
parent | 27ff8beb35cc4fd1e6a05c6685a7903e9e64ecdf (diff) | |
download | compcert-ffc03f2dcb24438d2900743848005c9a058e649c.tar.gz compcert-ffc03f2dcb24438d2900743848005c9a058e649c.zip |
Add tests for clightgen
Also: add "parallel" entry to test/Makefile for parallel execution of tests.
Diffstat (limited to 'x86/extractionMachdep.v')
0 files changed, 0 insertions, 0 deletions