Merge branch 'feature/andre/eva-warning-assigns' into 'master'
[Eva] change 'invalid assigns' clause warning to feedback See merge request frama-c/frama-c!2276
Showing
- share/libc/__fc_select.h 1 addition, 5 deletionsshare/libc/__fc_select.h
- share/libc/signal.h 3 additions, 4 deletionsshare/libc/signal.h
- share/libc/stropts.h 1 addition, 1 deletionshare/libc/stropts.h
- share/libc/sys/time.h 6 additions, 6 deletionsshare/libc/sys/time.h
- share/libc/time.h 4 additions, 6 deletionsshare/libc/time.h
- src/plugins/value/engine/transfer_specification.ml 1 addition, 0 deletionssrc/plugins/value/engine/transfer_specification.ml
- src/plugins/value/value_parameters.ml 2 additions, 0 deletionssrc/plugins/value/value_parameters.ml
- src/plugins/value/value_parameters.mli 3 additions, 0 deletionssrc/plugins/value/value_parameters.mli
- src/plugins/variadic/tests/known/oracle/ioctl.res.oracle 3 additions, 0 deletionssrc/plugins/variadic/tests/known/oracle/ioctl.res.oracle
- tests/builtins/oracle/imprecise.res.oracle 1 addition, 1 deletiontests/builtins/oracle/imprecise.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 25 additions, 31 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/libgen_h.res.oracle 2 additions, 2 deletionstests/libc/oracle/libgen_h.res.oracle
- tests/libc/oracle/signal_h.res.oracle 5 additions, 3 deletionstests/libc/oracle/signal_h.res.oracle
- tests/libc/oracle/string_h.res.oracle 4 additions, 4 deletionstests/libc/oracle/string_h.res.oracle
- tests/libc/oracle/sys_select.res.oracle 4 additions, 0 deletionstests/libc/oracle/sys_select.res.oracle
- tests/libc/oracle/sys_time.res.oracle 2 additions, 0 deletionstests/libc/oracle/sys_time.res.oracle
- tests/libc/oracle/time_h.res.oracle 4 additions, 0 deletionstests/libc/oracle/time_h.res.oracle
- tests/value/oracle/leaf_spec.0.res.oracle 1 addition, 1 deletiontests/value/oracle/leaf_spec.0.res.oracle
- tests/value/oracle/leaf_spec.1.res.oracle 2 additions, 2 deletionstests/value/oracle/leaf_spec.1.res.oracle
Loading
Please register or sign in to comment