[tests] refactoring of pdg tests
Showing
- Makefile 1 addition, 0 deletionsMakefile
- tests/pdg/annot.c 2 additions, 2 deletionstests/pdg/annot.c
- tests/pdg/array_struct.i 1 addition, 1 deletiontests/pdg/array_struct.i
- tests/pdg/assigns.i 1 addition, 1 deletiontests/pdg/assigns.i
- tests/pdg/bts1194.c 1 addition, 1 deletiontests/pdg/bts1194.c
- tests/pdg/call.c 1 addition, 1 deletiontests/pdg/call.c
- tests/pdg/calls_and_implicits.c 1 addition, 1 deletiontests/pdg/calls_and_implicits.c
- tests/pdg/const.i 1 addition, 1 deletiontests/pdg/const.i
- tests/pdg/decl_dpds.c 1 addition, 1 deletiontests/pdg/decl_dpds.c
- tests/pdg/doc_dot.c 1 addition, 1 deletiontests/pdg/doc_dot.c
- tests/pdg/dpds_intra.c 10 additions, 10 deletionstests/pdg/dpds_intra.c
- tests/pdg/dyn_dpds.c 2 additions, 2 deletionstests/pdg/dyn_dpds.c
- tests/pdg/globals.c 3 additions, 3 deletionstests/pdg/globals.c
- tests/pdg/inter_alias2.c 4 additions, 4 deletionstests/pdg/inter_alias2.c
- tests/pdg/loops.c 11 additions, 11 deletionstests/pdg/loops.c
- tests/pdg/multiple_calls.c 2 additions, 2 deletionstests/pdg/multiple_calls.c
- tests/pdg/no_body.c 2 additions, 2 deletionstests/pdg/no_body.c
- tests/pdg/oracle/const.res.oracle 12 additions, 12 deletionstests/pdg/oracle/const.res.oracle
- tests/pdg/pb_infinite_loop.c 3 additions, 3 deletionstests/pdg/pb_infinite_loop.c
- tests/pdg/postdom.c 1 addition, 1 deletiontests/pdg/postdom.c
Loading
Please register or sign in to comment