14 files changed, 78 insertions, 0 deletions
diff --git a/test/ocaml/bitfield/test.isail b/test/ocaml/bitfield/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/bitfield/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/hello_world/test.isail b/test/ocaml/hello_world/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/hello_world/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/loop/test.isail b/test/ocaml/loop/test.isail
new file mode 100644
index 00000000..6a9595e3
--- /dev/null
+++ b/test/ocaml/loop/test.isail
@@ -0,0 +1,4 @@
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/lsl/test.isail b/test/ocaml/lsl/test.isail
new file mode 100644
index 00000000..6a9595e3
--- /dev/null
+++ b/test/ocaml/lsl/test.isail
@@ -0,0 +1,4 @@
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/pattern1/test.isail b/test/ocaml/pattern1/test.isail
new file mode 100644
index 00000000..6a9595e3
--- /dev/null
+++ b/test/ocaml/pattern1/test.isail
@@ -0,0 +1,4 @@
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/reg_alias/test.isail b/test/ocaml/reg_alias/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/reg_alias/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/reg_passing/test.isail b/test/ocaml/reg_passing/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/reg_passing/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/reg_ref/test.isail b/test/ocaml/reg_ref/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/reg_ref/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/short_circuit/test.isail b/test/ocaml/short_circuit/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/short_circuit/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/string_equality/test.isail b/test/ocaml/string_equality/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/string_equality/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/trycatch/test.isail b/test/ocaml/trycatch/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/trycatch/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/types/test.isail b/test/ocaml/types/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/types/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/vec_32_64/test.isail b/test/ocaml/vec_32_64/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/vec_32_64/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file
diff --git a/test/ocaml/void/test.isail b/test/ocaml/void/test.isail
new file mode 100644
index 00000000..b3eb5d41
--- /dev/null
+++ b/test/ocaml/void/test.isail
@@ -0,0 +1,6 @@
+initialize_registers()
+:run
+:output result
+main()
+:run
+:quit
+\ No newline at end of file