tests/basic/oracle/aggregate.res.oracle

tests/basic/oracle/placement_new.res.oracle

tests/basic/oracle/placement_newb.res.oracle

tests/basic/oracle/ptr_array_decls.res.oracle

tests/basic/oracle/static_1.res.oracle

tests/bugs/oracle/issue11.res.oracle

tests/bugs/oracle/issue23.res.oracle

tests/bugs/oracle/issue24.res.oracle

tests/bugs/oracle/issue27-pred.res.oracle

tests/bugs/oracle/logiccast.res.oracle

tests/bugs/oracle/term.res.oracle

tests/class/oracle/array_object_bts1739.res.oracle

tests/ppwp/oracle/expand.res.oracle

tests/ppwp/oracle/expandf.res.oracle

tests/ppwp/oracle/simple.res.oracle

tests/ppwp/oracle/z.res.oracle

tests/specs/oracle/wp_empty_struct.res.oracle

tests/stl/oracle/stl_algorithm.res.oracle

tests/stl/oracle/stl_functional.res.oracle

tests/stl/oracle/stl_iterator.res.oracle