Merge branch 'feature/printer/array-as-formal' into 'master'
Pretty prints array formal variable as array Closes #392 See merge request frama-c/frama-c!3125
Showing
- src/kernel_internals/typing/cabs2cil.ml 3 additions, 2 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_printing/cil_printer.ml 37 additions, 7 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_queries/cil.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/cil.ml
- src/plugins/aorai/tests/ltl/oracle_prove/goto.res.oracle 0 additions, 2 deletionssrc/plugins/aorai/tests/ltl/oracle_prove/goto.res.oracle
- src/plugins/aorai/tests/ltl/oracle_prove/test_boucle.res.oracle 1 addition, 1 deletion...ugins/aorai/tests/ltl/oracle_prove/test_boucle.res.oracle
- src/plugins/aorai/tests/ltl/oracle_prove/test_boucle1.res.oracle 0 additions, 4 deletions...gins/aorai/tests/ltl/oracle_prove/test_boucle1.res.oracle
- src/plugins/aorai/tests/ltl/oracle_prove/test_boucle2.res.oracle 0 additions, 2 deletions...gins/aorai/tests/ltl/oracle_prove/test_boucle2.res.oracle
- src/plugins/aorai/tests/ltl/oracle_prove/test_boucle3.res.oracle 0 additions, 2 deletions...gins/aorai/tests/ltl/oracle_prove/test_boucle3.res.oracle
- src/plugins/aorai/tests/ltl/oracle_prove/test_recursion1.res.oracle 1 addition, 1 deletion...s/aorai/tests/ltl/oracle_prove/test_recursion1.res.oracle
- src/plugins/aorai/tests/ltl/oracle_prove/test_recursion2.0.res.oracle 1 addition, 1 deletion...aorai/tests/ltl/oracle_prove/test_recursion2.0.res.oracle
- src/plugins/aorai/tests/ltl/oracle_prove/test_recursion2.1.res.oracle 1 addition, 1 deletion...aorai/tests/ltl/oracle_prove/test_recursion2.1.res.oracle
- src/plugins/aorai/tests/ltl/oracle_prove/test_switch2.res.oracle 0 additions, 2 deletions...gins/aorai/tests/ltl/oracle_prove/test_switch2.res.oracle
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2252.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2252.c
- src/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c
- src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c
- src/plugins/instantiate/tests/string/oracle/memcmp.res.oracle 10 additions, 10 deletions...plugins/instantiate/tests/string/oracle/memcmp.res.oracle
- src/plugins/instantiate/tests/string/oracle/memcpy.res.oracle 10 additions, 10 deletions...plugins/instantiate/tests/string/oracle/memcpy.res.oracle
- src/plugins/instantiate/tests/string/oracle/memmove.res.oracle 10 additions, 10 deletions...lugins/instantiate/tests/string/oracle/memmove.res.oracle
- src/plugins/instantiate/tests/string/oracle/memset_0.res.oracle 18 additions, 18 deletions...ugins/instantiate/tests/string/oracle/memset_0.res.oracle
- src/plugins/instantiate/tests/string/oracle/memset_FF.res.oracle 28 additions, 28 deletions...gins/instantiate/tests/string/oracle/memset_FF.res.oracle
Loading
Please register or sign in to comment