Reorganization test directory

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1253 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 0 insertions, 32 deletions

diff --git a/test/littlesemantics/little.h b/test/littlesemantics/little.h
deleted file mode 100644
index cbbd5185..00000000
--- a/test/littlesemantics/little.h
+++ /dev/null
@@ -1,32 +0,0 @@
-#include <stdio.h>
-#include <string.h>
-
-typedef struct term {
-  short select;
-  union {
-    struct term **children;
-    int int_val;
-    char *string_val;
-  } term_body;
-} term;
-
-term *true();
-term *false();
-term *numeral(int i);
-term *variable(char *s);
-char *variable_name(term *t);
-int numeral_value(term *t);
-term *variable_list(term *i1, term *i2);
-term *greater(term *i1, term *i2);
-term *addition(term *i1, term *i2);
-term *skip();
-term *assignment(term *i1, term *i2);
-term *sequence(term *i1, term *i2);
-term *term_while(term *i1, term *i2);
-term *variable_value(term *i1, term *i2);
-
-term *child(term *t, int rank);
-term *lookup(term *env, char *var);
-term *update(term *env, char *var_name, term *val);
-term *evaluate(term *env, term *exp);
-term *execute(term *env, term *inst);