[tests] dune: fix test directory 'metrics'
Showing
- tests/metrics/func_ptr.c 1 addition, 0 deletionstests/metrics/func_ptr.c
- tests/metrics/libc.c 2 additions, 1 deletiontests/metrics/libc.c
- tests/metrics/oracle/func_ptr.0.res.oracle 3 additions, 3 deletionstests/metrics/oracle/func_ptr.0.res.oracle
- tests/metrics/oracle/func_ptr.1.res.oracle 1 addition, 1 deletiontests/metrics/oracle/func_ptr.1.res.oracle
- tests/metrics/oracle/reach.res.oracle 2 additions, 2 deletionstests/metrics/oracle/reach.res.oracle
- tests/metrics/oracle/referenced-by-acsl.res.oracle 1 addition, 1 deletiontests/metrics/oracle/referenced-by-acsl.res.oracle
- tests/metrics/reach.c 1 addition, 0 deletionstests/metrics/reach.c
- tests/metrics/referenced-by-acsl.c 1 addition, 0 deletionstests/metrics/referenced-by-acsl.c
- tests/metrics/unreachable.c 1 addition, 1 deletiontests/metrics/unreachable.c
- tests/metrics/used-files.i 4 additions, 2 deletionstests/metrics/used-files.i
Loading
Please register or sign in to comment