diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-29 19:10:30 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-29 19:10:30 +0200 |
| commit | 01674e9c79d0ddf77f3a97f80267d3fd01d19774 (patch) | |
| tree | 16ed616fdf5dc398e35fbfcca3b490f519ade340 /test/regression | |
| parent | 17c564cb99076eb0e2b34eeed4f24a18febe7116 (diff) | |
| download | compcert-kvx-01674e9c79d0ddf77f3a97f80267d3fd01d19774.tar.gz compcert-kvx-01674e9c79d0ddf77f3a97f80267d3fd01d19774.zip | |
rename result file
Diffstat (limited to 'test/regression')
| -rw-r--r-- | test/regression/Results/varargs2-kvx (renamed from test/regression/Results/varargs2-mppa_k1c) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test/regression/Results/varargs2-mppa_k1c b/test/regression/Results/varargs2-kvx index f954927e..f954927e 100644 --- a/test/regression/Results/varargs2-mppa_k1c +++ b/test/regression/Results/varargs2-kvx |