aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/instr/individual/simple.c
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-05-26 22:11:32 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-05-26 22:11:32 +0200
commitbc1e43ea95b9455cdccee442db77bc5fafd3dcc6 (patch)
tree4e82b5f50870603f42ec46d57e543c3e10fb1f4f /test/mppa/instr/individual/simple.c
parentb4a08d0815342b6238d307864f0823d0f07bb691 (diff)
downloadcompcert-kvx-bc1e43ea95b9455cdccee442db77bc5fafd3dcc6.tar.gz
compcert-kvx-bc1e43ea95b9455cdccee442db77bc5fafd3dcc6.zip
tests for kvx
Diffstat (limited to 'test/mppa/instr/individual/simple.c')
-rw-r--r--test/mppa/instr/individual/simple.c7
1 files changed, 0 insertions, 7 deletions
diff --git a/test/mppa/instr/individual/simple.c b/test/mppa/instr/individual/simple.c
deleted file mode 100644
index 944f09c9..00000000
--- a/test/mppa/instr/individual/simple.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(int)
-{
- c = a+b;
-}
-END_TEST32()