Convert rewrite_fn_ptr_eq

rewriter/tests/rewrite_fn_ptr_eq/CMakeLists.txt

@@ -5,6 +5,7 @@ define_shared_lib(
 define_test(
     SRCS main.c
     NEEDS_LD_WRAP
+    CRITERION_TEST
 )
 
 define_ia2_wrapper()

rewriter/tests/rewrite_fn_ptr_eq/lib.c

@@ -1,15 +1,17 @@
 /*
 RUN: cat rewrite_fn_ptr_eq_call_gates_1.ld | FileCheck --check-prefix=LINKARGS %s
 */
+#include <criterion/criterion.h>
+#include <criterion/logging.h>
 #include <lib.h>
 #include <stddef.h>
 #include <stdio.h>
 #include <assert.h>
 
 // LINKARGS: --wrap=call_fn
 int call_fn(bin_op fn, int x, int y) {
-    assert(fn != NULL);
+    cr_assert(fn != NULL);
     int res = fn(x, y);
-    printf("%d\n", res);
+    cr_log_info("%d\n", res);
     return res;
 }

rewriter/tests/rewrite_fn_ptr_eq/main.c

@@ -1,6 +1,7 @@
 /*
 RUN: cat main.c | FileCheck --match-full-lines --check-prefix=REWRITER %S/main.c
 */
+#include <criterion/criterion.h>
 #include <stdio.h>
 #include <lib.h>
 #include <ia2.h>
@@ -22,7 +23,7 @@ struct module {
     bin_op fn;
 };
 
-int main() {
+Test(rewrite_fn_ptr_eq, main) {
     int res;
     int *y = &res;
     void *x = NULL;