CN-exec: Minor changes to CN assert implementation for Zain's PBT

Testing frameworks being used by Zain are written in C++, so generated runtime checking code needs to be both C and C++ compliant, and not exit every time a CN assertion fails, since that cuts the PBT pipeline short too early.

runtime/libcn/include/cn-executable/utils.h

@@ -16,6 +16,8 @@ struct cn_error_message_info {
     char *cn_source_loc;
 };
 
+void (*cn_exit)(void);
+
 /* Wrappers for C types */
 
 /* Signed bitvectors */

runtime/libcn/src/utils.c

@@ -11,6 +11,14 @@ typedef struct cn_bool {
 
 */
 
+
+void cn_exit_aux(void) {
+    exit(SIGABRT);
+}
+
+void (*cn_exit)(void) = &cn_exit_aux;
+
+
 cn_bool *convert_to_cn_bool(_Bool b) {
     cn_bool *res = alloc(sizeof(cn_bool));
     if (!res) exit(1);
@@ -30,7 +38,7 @@ void cn_assert(cn_bool *cn_b, struct cn_error_message_info *error_msg_info) {
         if (error_msg_info->cn_source_loc) {
             printf("CN source location: \n%s\n", error_msg_info->cn_source_loc);
         }
-        exit(SIGABRT);
+        cn_exit();
     }
     // assert(cn_b->val);
 }
@@ -149,7 +157,7 @@ cn_bool *cn_map_equality(cn_map *m1, cn_map *m2, cn_bool *(value_equality_fun)(v
 
 
 cn_pointer *convert_to_cn_pointer(void *ptr) {
-    cn_pointer *res = alloc(sizeof(cn_pointer));
+    cn_pointer *res = (cn_pointer *) alloc(sizeof(cn_pointer));
     res->ptr = ptr; // Carries around an address
     return res;
 }