src/kernel_services/abstract_interp/lattice_messages.ml

tests/builtins/oracle/imprecise.res.oracle

tests/builtins/oracle/linked_list.1.res.oracle

tests/builtins/oracle/memcpy.0.res.oracle

tests/builtins/oracle_equality/imprecise.res.oracle

tests/builtins/oracle_equality/linked_list.1.res.oracle

tests/builtins/oracle_gauges/memcpy.0.res.oracle

tests/builtins/oracle_octagon/imprecise.res.oracle

tests/builtins/oracle_octagon/linked_list.1.res.oracle

tests/builtins/oracle_symblocs/imprecise.res.oracle

tests/builtins/oracle_symblocs/linked_list.1.res.oracle

tests/value/oracle/assigns.res.oracle

tests/value/oracle/multidim-relations.res.oracle

tests/value/oracle/multidim.res.oracle

tests/value/oracle/non_natural.res.oracle

tests/value/oracle/offsetmap.0.res.oracle

tests/value/oracle/offsetmap.1.res.oracle

tests/value/oracle/offsetmap.2.res.oracle

tests/value/oracle/plevel.res.oracle

tests/value/oracle_equality/assigns.res.oracle