[clang2ir] do not revert list of ACSL++ predicate names
Showing
- framaCIRGen_src/ACSLTermOrPredicate.cpp 13 additions, 18 deletionsframaCIRGen_src/ACSLTermOrPredicate.cpp
- tests/basic/oracle/cxx_c_link.res.oracle 0 additions, 6 deletionstests/basic/oracle/cxx_c_link.res.oracle
- tests/basic/oracle/placement_new.res.oracle 4 additions, 4 deletionstests/basic/oracle/placement_new.res.oracle
- tests/basic/oracle/placement_newb.res.oracle 4 additions, 4 deletionstests/basic/oracle/placement_newb.res.oracle
- tests/stl/oracle/stl_algorithm.res.oracle 7 additions, 7 deletionstests/stl/oracle/stl_algorithm.res.oracle
- tests/stl/oracle/stl_bool.res.oracle 7 additions, 7 deletionstests/stl/oracle/stl_bool.res.oracle
- tests/stl/oracle/stl_functional.res.oracle 7 additions, 7 deletionstests/stl/oracle/stl_functional.res.oracle
- tests/stl/oracle/stl_memory.res.oracle 7 additions, 7 deletionstests/stl/oracle/stl_memory.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake10.res.oracle 11 additions, 11 deletionstests/stl/oracle/stl_shared_ptr_mistake10.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake5.res.oracle 11 additions, 11 deletionstests/stl/oracle/stl_shared_ptr_mistake5.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake6.res.oracle 11 additions, 11 deletionstests/stl/oracle/stl_shared_ptr_mistake6.res.oracle
- tests/stl/oracle/stl_system_error.res.oracle 24 additions, 24 deletionstests/stl/oracle/stl_system_error.res.oracle
- tests/stl/oracle/stl_typeinfo.res.oracle 7 additions, 7 deletionstests/stl/oracle/stl_typeinfo.res.oracle
- tests/stl/oracle/stl_unique_ptr.res.oracle 7 additions, 7 deletionstests/stl/oracle/stl_unique_ptr.res.oracle
Loading
Please register or sign in to comment