CN: test case for enum conversion

rems-project · Sep 18, 2023 · 2ce54df · 2ce54df
1 parent b37e4b8
commit 2ce54df
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tests/cn/use_enum.c b/tests/cn/use_enum.c
@@ -0,0 +1,13 @@
+
+
+enum {
+  num_x = 42,
+  num_y = 0xdedbeef
+};
+
+unsigned int add_x_y (void)
+/*@ ensures return == num_x + num_y @*/
+{
+  return num_x + num_y;
+}
+