Add tests for oread (some are old)

1 files changed, 19 insertions, 0 deletions

diff --git a/src/ortho/oread/tests/run_case6.on b/src/ortho/oread/tests/run_case6.on
new file mode 100644
index 000000000..3e33ff6f4
--- /dev/null
+++ b/src/ortho/oread/tests/run_case6.on
@@ -0,0 +1,19 @@
+type __ghdl_index_type is unsigned (32);
+type __ghdl_bool_type is boolean {false, true};
+
+public function main (a : __ghdl_index_type) return __ghdl_index_type
+declare
+  local var b : __ghdl_index_type;
+begin
+  case a is
+    when 10 ... 15 =>
+     case __ghdl_bool_type'(a > 10) is
+       when __ghdl_bool_type'[true] =>
+          b := 5;
+       when __ghdl_bool_type'[false] =>
+     end case;
+    when default =>
+     return 4;
+  end case;
+  return 5;
+end;