Changeset 3067 for driver/tests

Timestamp:

Apr 2, 2013, 1:49:53 PM (8 years ago)

Author:

sacerdot

Message:

New test that fails too.

Location:

driver/tests

Files:

• PROBLEMI (modified) (1 diff)
• test7.c (modified) (1 diff)

driver/tests/PROBLEMI

@@ -5 +5 @@
 5. ok
 6. ok
-7. ok
+7. LTL failure
 8. ok

driver/tests/test7.c

@@ -1 @@
-char foo() {
-        return 5;
+char a[] = {3, 2, 7, 1};
+char treshold = 4;
+
+unsigned int count(char(*foo)(char),char *a,int current, int high) {
+        int n = 0 ;
+        if (current < high)
+        {
+                n = (*foo)(a[current]);
+                current++;
+                n += count(foo,a,current,high);
+        }
+        return n;
+}
+
+char smaller(char x) {
+        return (x < treshold);
 }
 
 int main() {
-        char (*goo)();
-        goo = foo;
-        return ((*goo)());
+        return (count(smaller,a,0,4));
 }