[eacsl] Use kernel -no-unicode option instead of hard-coded Kernel.Unicode.without_unicode
Showing
- src/plugins/e-acsl/src/code_generator/assert.ml 1 addition, 4 deletionssrc/plugins/e-acsl/src/code_generator/assert.ml
- src/plugins/e-acsl/tests/arith/oracle/arith.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/arith/oracle/arith.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/extended_quantifiers.res.oracle 17 additions, 17 deletions...e-acsl/tests/arith/oracle/extended_quantifiers.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/functions_rec.res.oracle 12 additions, 13 deletions...lugins/e-acsl/tests/arith/oracle/functions_rec.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/gen_arith.c 24 additions, 24 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_arith.c
- src/plugins/e-acsl/tests/arith/oracle/gen_array.c 23 additions, 23 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_array.c
- src/plugins/e-acsl/tests/arith/oracle/gen_at.c 14 additions, 14 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_at.c
- src/plugins/e-acsl/tests/arith/oracle/gen_at_on-purely-logic-variables.c 27 additions, 26 deletions...csl/tests/arith/oracle/gen_at_on-purely-logic-variables.c
- src/plugins/e-acsl/tests/arith/oracle/gen_bitwise.c 45 additions, 45 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_bitwise.c
- src/plugins/e-acsl/tests/arith/oracle/gen_cast.c 7 additions, 7 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_cast.c
- src/plugins/e-acsl/tests/arith/oracle/gen_comparison.c 11 additions, 11 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_comparison.c
- src/plugins/e-acsl/tests/arith/oracle/gen_extended_quantifiers.c 35 additions, 33 deletions...gins/e-acsl/tests/arith/oracle/gen_extended_quantifiers.c
- src/plugins/e-acsl/tests/arith/oracle/gen_functions.c 13 additions, 13 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_functions.c
- src/plugins/e-acsl/tests/arith/oracle/gen_functions_rec.c 27 additions, 26 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_functions_rec.c
- src/plugins/e-acsl/tests/arith/oracle/gen_integer_constant.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_integer_constant.c
- src/plugins/e-acsl/tests/arith/oracle/gen_let.c 8 additions, 8 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_let.c
- src/plugins/e-acsl/tests/arith/oracle/gen_longlong.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_longlong.c
- src/plugins/e-acsl/tests/arith/oracle/gen_not.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_not.c
- src/plugins/e-acsl/tests/arith/oracle/gen_quantif.c 67 additions, 54 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_quantif.c
- src/plugins/e-acsl/tests/arith/oracle/gen_rationals.c 9 additions, 9 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_rationals.c
Loading
Please register or sign in to comment