Added regression test suite

1 files changed, 15 insertions, 0 deletions

diff --git a/testing/035_invariant.c b/testing/035_invariant.c
new file mode 100644
index 0000000..28c08f8
--- /dev/null
+++ b/testing/035_invariant.c
@@ -0,0 +1,15 @@
+// objective: test \invariant, \pre and \post commands
+// check: 035__invariant_8c.xml
+
+/** \file */
+
+/** \invariant i+j=p
+ *  \pre       p\>=0
+ *  \post      *q=2^(p+1)
+ */
+void func(int p,int *q)
+{
+  int j = p, k=1, i;
+  for (i=0; i<=p; i++) j--,k=k*2;
+  *q = k;
+}