tests in tests/slicing pass

ptests/ptests.ml

src/kernel_services/plugin_entry_points/plugin.ml

src/plugins/constant_propagation/dune

tests/builtins/alloc.c

tests/builtins/from_result.c

tests/builtins/malloc_individual.c

tests/constant_propagation/test_config

tests/journal/intra.i

tests/libc/coverage.c

tests/libc/fc_libc.c

tests/libc/runtime.c

tests/libc/string_c_generic.c

tests/libc/string_c_strchr.c

tests/libc/string_c_strstr.c

tests/pdg/test_config

tests/rte/divmod.c

tests/rte/divmod_typedef.c

tests/saveload/bool.c

tests/slicing/bts1684.i

tests/slicing/combine.i