xbt_free() does not take a pointer to the pointer but the pointer.
This behaviour is different from xbt_dict_free, xbt_dynar_free...
void MC_free_object_info(mc_object_info_t * info)
{
- xbt_free(&(*info)->file_name);
+ xbt_free((*info)->file_name);
xbt_dict_free(&(*info)->subprograms);
xbt_dynar_free(&(*info)->global_variables);
xbt_dict_free(&(*info)->types);
xbt_dict_free(&(*info)->full_types_by_name);
- xbt_free(info);
+ xbt_free(*info);
xbt_dynar_free(&(*info)->functions_index);
*info = NULL;
}
static void test_snapshot(bool sparse_checkpoint);
-XBT_TEST_UNIT("page_snapshots", test_per_snpashots, "Test per-page snapshots")
-{
- test_snapshot(1);
-}
-
-
XBT_TEST_UNIT("flat_snapshot", test_flat_snapshots, "Test flat snapshots")
{
test_snapshot(0);
}
+XBT_TEST_UNIT("page_snapshots", test_per_snpashots, "Test per-page snapshots")
+{
+ test_snapshot(1);
+}
static void test_snapshot(bool sparse_checkpoint) {