[tests] remove unused files, move and clean up some tests

nix/kernel-tests.nix

@@ -14,7 +14,6 @@ mk_tests {
       @tests/saveload/ptests \
       @tests/spec/ptests \
       @tests/syntax/ptests \
-      @tests/test/ptests \
       @src/kernel_internals/parsing/tests/ptests
     dune runtest -j1 --display short \
       src/plugins/server/tests/batch \

tests/bugs/check_specs.h

-// for SSIZE_MAX
-//#include <limits.h>
-#undef putchar
-/* assigns \nothing;
- */
-int putchar(int c);
-
-
-#ifdef NO_FRAMA_C
-/*@ assigns \nothing;
- */
-void perror(const char *s);
-#else
-#define perror(s) 
-#endif
-
-/* To avoid issue with errno with is defined as "int *__errno_location (void);" 
-   in system includes, we define our own errno.
- */
-#undef errno
-#define errno global_error_number
-int global_error_number;
-
-/*@ requires \valid(s);
-    assigns \nothing;
- */
-int puts(const char *s);
-
-#ifdef NO_FRAMA_C
-/*@ assigns \nothing;
- */
-int fputs(const char *s, FILE *stream);
-#else
-#define fputs(...) 
-#endif

tests/bugs/enum.c

-enum fixed_addresses {
- A,
- B = -1UL,
- BASE,
- END = BASE,
-};
-
-
-enum e f(void) {
-  return A;
-}

tests/ptests_config

@@ -5,7 +5,7 @@
 ### Tests of kernel
 
 DEFAULT_SUITES= cil compliance dynamic jcdb libc misc
-DEFAULT_SUITES= pretty_printing saveload spec syntax test
+DEFAULT_SUITES= pretty_printing saveload spec syntax
 
 ### Tests of small plugins
 

tests/slicing/README

@@ -34,7 +34,7 @@ For the Program Dependence Graph tests, see  ppc/tests/pdg.
    Check if we have the same result than her with her System Dependence Graph.
 
 ** tests/slicing/adpcm.c & tests/slicing/adpcm.ml
-   source code from tests/test/adpcm.c. To have a bigger example...
+   source code from adpcm.c. To have a bigger example...
 
 ** tests/slicing/ptr_fct.c
    Example given by Patrick for the specification/documentation 

tests/slicing/oracle/adpcm.0.res.oracle

+[kernel] Parsing adpcm.c (with preprocessing)