diff --git a/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/dune b/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/dune new file mode 100644 index 000000000000..68d6a10a091d --- /dev/null +++ b/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/dune @@ -0,0 +1,5 @@ +(library + (name inline_test) + (modules inline_test) + (inline_tests (modes wasm)) + (preprocess (pps ppx_inline_test))) diff --git a/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/dune-project b/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/dune-project new file mode 100644 index 000000000000..3e2a6150dda4 --- /dev/null +++ b/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/dune-project @@ -0,0 +1 @@ +(lang dune 3.17) diff --git a/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/inline_test.ml b/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/inline_test.ml new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/run.t b/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/run.t new file mode 100644 index 000000000000..3b99562c4933 --- /dev/null +++ b/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/run.t @@ -0,0 +1,3 @@ +Run tests and inline tests within a sandbox in copy mode + + $ dune runtest --sandbox=copy diff --git a/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/test.ml b/test/blackbox-tests/test-cases/wasmoo/sandboxing.t/test.ml new file mode 100644 index 000000000000..e69de29bb2d1