[RTL]
Reworked binary tree (tree) and linked list (list) memory models to have the same structure as the rest of the ADT models
Showing
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h 13 additions, 13 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list_mmodel.c 24 additions, 0 deletions...ugins/e-acsl/share/e-acsl/adt_models/e_acsl_list_mmodel.c
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h 16 additions, 16 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree_mmodel.c 24 additions, 0 deletions...ugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree_mmodel.c
Loading
Please register or sign in to comment