1 files changed, 10 insertions, 0 deletions
diff --git a/debian/uncrustify-trinity/uncrustify-trinity-0.78.0/tests/expected/c/00143-t3.in.c b/debian/uncrustify-trinity/uncrustify-trinity-0.78.0/tests/expected/c/00143-t3.in.c
new file mode 100644
index 00000000..b40fbd17
--- /dev/null
+++ b/debian/uncrustify-trinity/uncrustify-trinity-0.78.0/tests/expected/c/00143-t3.in.c
@@ -0,0 +1,10 @@
+extern /*@observer@*/ /*@null@*/ const dcroid_t *dcrp_oidget
+(
+   /*@in@*/ const char *h,
+   /*@in@*/ const char *t
+) /*@ensures maxRead(result) >= 0@*/;
+
+extern /*@observer@*/ const char *dcrp_oidlabel
+(
+   /*@in@*/ const dcroid_t *oid
+);