diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/bitfield/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/hello_world/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/loop/test.isail | 4 | ||||
| -rw-r--r-- | test/ocaml/lsl/test.isail | 4 | ||||
| -rw-r--r-- | test/ocaml/pattern1/test.isail | 4 | ||||
| -rw-r--r-- | test/ocaml/reg_alias/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/reg_passing/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/reg_ref/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/short_circuit/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/string_equality/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/trycatch/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/types/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/vec_32_64/test.isail | 6 | ||||
| -rw-r--r-- | test/ocaml/void/test.isail | 6 | ||||
| -rwxr-xr-x | test/riscv/run_tests.sh | 2 |
15 files changed, 79 insertions, 1 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 diff --git a/test/riscv/run_tests.sh b/test/riscv/run_tests.sh index 9430efec..5b5f67cb 100755 --- a/test/riscv/run_tests.sh +++ b/test/riscv/run_tests.sh @@ -61,5 +61,5 @@ fi finish_suite "RISCV tests" -prinf "</testsuites>\n" >> $DIR/tests.xml +printf "</testsuites>\n" >> $DIR/tests.xml |