aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/Results/lists-mppa_k1c
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-11-13 14:14:17 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-11-13 14:14:17 +0100
commitf2cf6d4e0600d4a58677a7531e8516a37fe1d0da (patch)
treeadf79d4780ffb2aa8733a70da461239270e5c21e /test/c/Results/lists-mppa_k1c
parent24406a351e9d64c2953b0b9fc7ef0b3d79db9b85 (diff)
parent847554275608bafcbfad635684e588501e00ac31 (diff)
downloadcompcert-kvx-f2cf6d4e0600d4a58677a7531e8516a37fe1d0da.tar.gz
compcert-kvx-f2cf6d4e0600d4a58677a7531e8516a37fe1d0da.zip
Merge remote-tracking branch 'origin/mppa-work' into mppa-work-upstream-merge
Diffstat (limited to 'test/c/Results/lists-mppa_k1c')
-rw-r--r--test/c/Results/lists-mppa_k1c2
1 files changed, 2 insertions, 0 deletions
diff --git a/test/c/Results/lists-mppa_k1c b/test/c/Results/lists-mppa_k1c
new file mode 100644
index 00000000..2c94e483
--- /dev/null
+++ b/test/c/Results/lists-mppa_k1c
@@ -0,0 +1,2 @@
+OK
+OK