Merge branch 'feature/andre/libc-misc-improvements' into 'master'
sync with frama-c/frama-c!1602 See merge request frama-c/e-acsl!180
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/tests/runtime/oracle/initialized.res.oracle 3 additions, 3 deletions...lugins/e-acsl/tests/runtime/oracle/initialized.res.oracle
- src/plugins/e-acsl/tests/temporal/oracle/gen_t_local_init.c 7 additions, 7 deletionssrc/plugins/e-acsl/tests/temporal/oracle/gen_t_local_init.c
- src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle
Please register or sign in to comment