[ACSL++] better char litteral translation
- no more casts inserted in front of the litteral - use actual `'c'` value (or `L'c'` for wide char) instead of numerical one
Showing
- convert_acsl.ml 23 additions, 2 deletionsconvert_acsl.ml
- framaCIRGen_src/ACSLTermOrPredicate.cpp 2 additions, 12 deletionsframaCIRGen_src/ACSLTermOrPredicate.cpp
- tests/basic/oracle/placement_new.res.oracle 20 additions, 25 deletionstests/basic/oracle/placement_new.res.oracle
- tests/basic/oracle/placement_newb.res.oracle 20 additions, 25 deletionstests/basic/oracle/placement_newb.res.oracle
- tests/specs/oracle/basic.res.oracle 1 addition, 1 deletiontests/specs/oracle/basic.res.oracle
- tests/specs/oracle/wchar_t.res.oracle 1 addition, 2 deletionstests/specs/oracle/wchar_t.res.oracle
- tests/stl/oracle/stl_algorithm.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_algorithm.res.oracle
- tests/stl/oracle/stl_bool.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_bool.res.oracle
- tests/stl/oracle/stl_functional.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_functional.res.oracle
- tests/stl/oracle/stl_memory.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_memory.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake10.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_shared_ptr_mistake10.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake5.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_shared_ptr_mistake5.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake6.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_shared_ptr_mistake6.res.oracle
- tests/stl/oracle/stl_system_error.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_system_error.res.oracle
- tests/stl/oracle/stl_typeinfo.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_typeinfo.res.oracle
- tests/stl/oracle/stl_unique_ptr.res.oracle 20 additions, 25 deletionstests/stl/oracle/stl_unique_ptr.res.oracle
Loading
Please register or sign in to comment