[CN-Exec] Add reset_fulminate for initialization

rems-project · Feb 13, 2025 · 99b260a · 99b260a
1 parent 35d5e87
commit 99b260a
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/runtime/libcn/include/cn-executable/utils.h b/runtime/libcn/include/cn-executable/utils.h
@@ -17,6 +17,8 @@
 extern "C" {
 #endif
 
+void reset_fulminate(void);
+
 enum cn_logging_level {
     CN_LOGGING_NONE = 0,
     CN_LOGGING_ERROR = 1,

diff --git a/runtime/libcn/include/cn-testing/test.h b/runtime/libcn/include/cn-testing/test.h
@@ -134,11 +134,7 @@ void cn_trap(void);
 int cn_test_main(int argc, char* argv[]);
 
 #define CN_TEST_INIT()                                                                  \
-    cn_bump_free_all();                                                                 \
-    cn_fl_free_all();                                                                   \
-    reset_error_msg_info();                                                             \
-    initialise_ownership_ghost_state();                                                 \
-    initialise_ghost_stack_depth();                                                     \
+    reset_fulminate();                                                                  \
     cn_gen_backtrack_reset();                                                           \
     cn_gen_alloc_reset();                                                               \
     cn_gen_ownership_reset();

diff --git a/runtime/libcn/src/cn-executable/utils.c b/runtime/libcn/src/cn-executable/utils.c
@@ -14,6 +14,13 @@ signed long cn_stack_depth;
 
 signed long nr_owned_predicates;
 
+void reset_fulminate(void) {
+  cn_bump_free_all();
+  cn_fl_free_all();
+  reset_error_msg_info();
+  initialise_ownership_ghost_state();
+  initialise_ghost_stack_depth();
+}
 
 static enum cn_logging_level logging_level = CN_LOGGING_INFO;