Merge branch 'feature/andre/variadic-add-wkeys' into 'master'
[Variadic] add several wkeys See merge request frama-c/frama-c!3500
No related branches found
No related tags found
Showing
- src/plugins/variadic/classify.ml 4 additions, 4 deletionssrc/plugins/variadic/classify.ml
- src/plugins/variadic/format_parser.ml 1 addition, 1 deletionsrc/plugins/variadic/format_parser.ml
- src/plugins/variadic/generic.ml 1 addition, 1 deletionsrc/plugins/variadic/generic.ml
- src/plugins/variadic/options.ml 6 additions, 0 deletionssrc/plugins/variadic/options.ml
- src/plugins/variadic/options.mli 6 additions, 0 deletionssrc/plugins/variadic/options.mli
- src/plugins/variadic/standard.ml 11 additions, 11 deletionssrc/plugins/variadic/standard.ml
- src/plugins/variadic/tests/declared/oracle/redefine_anonymous_parameters.res.oracle 4 additions, 2 deletions.../declared/oracle/redefine_anonymous_parameters.res.oracle
- src/plugins/variadic/tests/erroneous/oracle/exec.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/erroneous/oracle/exec.res.oracle
- src/plugins/variadic/tests/erroneous/oracle/invalid_libc.res.oracle 1 addition, 1 deletion...s/variadic/tests/erroneous/oracle/invalid_libc.res.oracle
- src/plugins/variadic/tests/erroneous/oracle/no-libc.res.oracle 4 additions, 2 deletions...lugins/variadic/tests/erroneous/oracle/no-libc.res.oracle
- src/plugins/variadic/tests/erroneous/oracle/printf.res.oracle 2 additions, 2 deletions...plugins/variadic/tests/erroneous/oracle/printf.res.oracle
- src/plugins/variadic/tests/erroneous/oracle/va_arg-wrongtype.res.oracle 1 addition, 1 deletion...riadic/tests/erroneous/oracle/va_arg-wrongtype.res.oracle
- src/plugins/variadic/tests/known/oracle/exec.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/known/oracle/exec.res.oracle
- src/plugins/variadic/tests/known/oracle/fcntl.res.oracle 2 additions, 2 deletionssrc/plugins/variadic/tests/known/oracle/fcntl.res.oracle
- src/plugins/variadic/tests/known/oracle/open.res.oracle 2 additions, 2 deletionssrc/plugins/variadic/tests/known/oracle/open.res.oracle
- src/plugins/variadic/tests/known/oracle/open_wrong.res.oracle 1 addition, 1 deletion...plugins/variadic/tests/known/oracle/open_wrong.res.oracle
- src/plugins/variadic/tests/known/oracle/openat.res.oracle 2 additions, 2 deletionssrc/plugins/variadic/tests/known/oracle/openat.res.oracle
- src/plugins/variadic/tests/known/oracle/printf.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/known/oracle/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_redefined.res.oracle 5 additions, 3 deletions...s/variadic/tests/known/oracle/printf_redefined.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_arity.res.oracle 2 additions, 2 deletions...variadic/tests/known/oracle/printf_wrong_arity.res.oracle
Loading
Please register or sign in to comment