[Override Std] Pointers to arrays OK
Showing
- src/plugins/override_std/basic_blocks.ml 55 additions, 4 deletionssrc/plugins/override_std/basic_blocks.ml
- src/plugins/override_std/basic_blocks.mli 1 addition, 0 deletionssrc/plugins/override_std/basic_blocks.mli
- src/plugins/override_std/memcmp.ml 2 additions, 11 deletionssrc/plugins/override_std/memcmp.ml
- src/plugins/override_std/memcpy.ml 1 addition, 14 deletionssrc/plugins/override_std/memcpy.ml
- src/plugins/override_std/memmove.ml 1 addition, 15 deletionssrc/plugins/override_std/memmove.ml
- src/plugins/override_std/tests/functions/memcmp.c 4 additions, 0 deletionssrc/plugins/override_std/tests/functions/memcmp.c
- src/plugins/override_std/tests/functions/memcpy.c 4 additions, 0 deletionssrc/plugins/override_std/tests/functions/memcpy.c
- src/plugins/override_std/tests/functions/memmove.c 4 additions, 0 deletionssrc/plugins/override_std/tests/functions/memmove.c
- src/plugins/override_std/tests/functions/oracle/memcmp.res.oracle 65 additions, 4 deletions...ins/override_std/tests/functions/oracle/memcmp.res.oracle
- src/plugins/override_std/tests/functions/oracle/memcpy.res.oracle 71 additions, 4 deletions...ins/override_std/tests/functions/oracle/memcpy.res.oracle
- src/plugins/override_std/tests/functions/oracle/memmove.res.oracle 73 additions, 4 deletions...ns/override_std/tests/functions/oracle/memmove.res.oracle
Loading
Please register or sign in to comment