[E-ACSL] restore libc test suite
Showing
- src/plugins/e-acsl/tests/libc/file.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/libc/file.c
- src/plugins/e-acsl/tests/libc/oracle/file.res.oracle 19 additions, 0 deletionssrc/plugins/e-acsl/tests/libc/oracle/file.res.oracle
- src/plugins/e-acsl/tests/libc/oracle/gen_file.c 65 additions, 0 deletionssrc/plugins/e-acsl/tests/libc/oracle/gen_file.c
- src/plugins/e-acsl/tests/ptests_config 2 additions, 2 deletionssrc/plugins/e-acsl/tests/ptests_config
Loading
Please register or sign in to comment