[Tests] Moves an old test related to makeFormalVar in the right dir and add a...
[Tests] Moves an old test related to makeFormalVar in the right dir and add a new test related to ghost parameters
Showing
- tests/cil/Change_formals.ml 0 additions, 0 deletionstests/cil/Change_formals.ml
- tests/cil/change_formals.c 17 additions, 0 deletionstests/cil/change_formals.c
- tests/cil/insert_formal.i 103 additions, 0 deletionstests/cil/insert_formal.i
- tests/cil/insert_formal.ml 53 additions, 0 deletionstests/cil/insert_formal.ml
- tests/cil/oracle/change_formals.0.res.oracle 1 addition, 1 deletiontests/cil/oracle/change_formals.0.res.oracle
- tests/cil/oracle/change_formals.1.res.oracle 1 addition, 1 deletiontests/cil/oracle/change_formals.1.res.oracle
- tests/cil/oracle/change_formals.2.res.oracle 1 addition, 1 deletiontests/cil/oracle/change_formals.2.res.oracle
- tests/cil/oracle/insert_formal.res.oracle 103 additions, 0 deletionstests/cil/oracle/insert_formal.res.oracle
Loading
Please register or sign in to comment