MinSFI: Passing arguments to the entry function

tests/minsfi/sandbox_invoke_args.c

Index: tests/minsfi/sandbox_invoke_args.c
diff --git a/tests/includability/use_irt.c b/tests/minsfi/sandbox_invoke_args.c
similarity index 55%
copy from tests/includability/use_irt.c
copy to tests/minsfi/sandbox_invoke_args.c
index 1deb6de1eafe64cac015d65658970480d294312f..1e3b000c7ad468a42a86067cbcae0c04a0cd3445 100644
--- a/tests/includability/use_irt.c
+++ b/tests/minsfi/sandbox_invoke_args.c
@@ -4,10 +4,11 @@
  * found in the LICENSE file.
  */
 
-/* Just test that these headers can be #included. */
-#include <irt.h>
-#include <irt_dev.h>
+#include <stdlib.h>
 
-int main(void) {
-  return 0;
+int main(int argc, char **argv) {
+  int i, sum = 0;
+  for (i = 0; i < argc; ++i)
+    sum += strtol(argv[i], 0, 0);
+  return sum;
 }