Changes in doc/generic_types/evaluation/c-bench.c [87c5f40:0d10090]

File:

• doc/generic_types/evaluation/c-bench.c (modified) (2 diffs)

doc/generic_types/evaluation/c-bench.c

@@ +1 @@
+#include <stdio.h>
 #include <stdlib.h>
 #include "bench.h"
 #include "c-pair.h"
 #include "c-stack.h"
+#include "c-print.h"
 
 _Bool* new_bool( _Bool b ) {
@@ -89 +91 @@
         )
         free_pair_bool_char( max2 );
+
+        FILE* out = fopen("c-out.txt", "w");
+        REPEAT_TIMED( "print_int",
+                print( out, "dsds", rand(), ":", rand(), "\n" );
+        )
+
+        REPEAT_TIMED( "print_pair", 
+                struct pair p1 = ((struct pair){ new_bool(rand() & 0x1), new_char(rand() & 0x7F) });
+                struct pair p2 = ((struct pair){ new_bool(rand() & 0x1), new_char(rand() & 0x7F) });
+                print( out, "pbcspbcs", p1, ":", p2, "\n" );
+                free(p1.first); free(p1.second);
+                free(p2.first); free(p2.second);
+        )
+        fclose(out);
 }