Adding upstream version 86.0.1.upstream/86.0.1upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 16 insertions, 0 deletions

diff --git a/third_party/rust/lucet-wasi-wasmsbx/tests/guests/write_file.c b/third_party/rust/lucet-wasi-wasmsbx/tests/guests/write_file.c
new file mode 100644
index 0000000000..5922c02763
--- /dev/null
+++ b/third_party/rust/lucet-wasi-wasmsbx/tests/guests/write_file.c
@@ -0,0 +1,16 @@
+#include <assert.h>
+#include <stdio.h>
+#include <string.h>
+
+static char *message = "hello, file!";
+
+int main()
+{
+    FILE *file = fopen("/sandbox/output.txt", "w");
+    assert(file != NULL);
+
+    int nwritten = fprintf(file, "%s", message);
+    assert(nwritten == strlen(message));
+
+    assert(fclose(file) == 0);
+}