[tests] custom machdep validated

tests/misc/custom_machdep.ml

@@ -54,6 +54,20 @@ let mach =
       "edom", "33";
       "eilseq", "84";
       "erange", "34";
+      "eintr", "35";
+      "eagain", "36";
+      "ebadf", "37";
+      "efbig", "38";
+      "einval", "39";
+      "eio", "40";
+      "enospc", "41";
+      "eoverflow", "42";
+      "epipe", "43";
+      "espipe", "44";
+      "enxio", "45";
+      "emfile", "46";
+      "enomem", "47";
+      "enotsup", "48";
     ];
     machdep_name = "custom_machdep";
   }

tests/misc/custom_machdep.yaml

@@ -50,4 +50,18 @@ errno:
   edom: "33"
   eilseq: "84"
   erange: "34"
+  eintr: "35"
+  eagain: "36"
+  ebadf: "37"
+  efbig: "38"
+  einval: "39"
+  eio: "40"
+  enospc: "41"
+  eoverflow: "42"
+  epipe: "43"
+  espipe: "44"
+  enxio: "45"
+  emfile: "46"
+  enomem: "47"
+  enotsup: "48"
 machdep_name: custom_machdep

tests/misc/oracle/custom_machdep.0.res.oracle

@@ -19,7 +19,7 @@
 int main(void)
 {
   int __retres;
-  __retres = (int)2147483647;
+  __retres = 8388607;
   return __retres;
 }
 

tests/misc/oracle/custom_machdep.1.res.oracle

-[kernel] Registering machdep 'mach' as 'custom'
 [kernel] Parsing custom_machdep.c (with preprocessing)
 /* Generated by Frama-C */
 #include "ctype.h"
@@ -19,7 +18,7 @@
 int main(void)
 {
   int __retres;
-  __retres = (int)2147483647;
+  __retres = 8388607;
   return __retres;
 }