Merge branch 'feature/kostyantyn/public-prefix' into 'master'
Prefix of E-ACSL runtime library functions This merge request addresses issue #11 See merge request !45
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/dup_functions.ml 1 addition, 1 deletionsrc/plugins/e-acsl/dup_functions.ml
- src/plugins/e-acsl/env.ml 1 addition, 1 deletionsrc/plugins/e-acsl/env.ml
- src/plugins/e-acsl/misc.ml 47 additions, 31 deletionssrc/plugins/e-acsl/misc.ml
- src/plugins/e-acsl/misc.mli 24 additions, 4 deletionssrc/plugins/e-acsl/misc.mli
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c 34 additions, 32 deletions...e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
- src/plugins/e-acsl/share/e-acsl/e_acsl.h 12 additions, 3 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h 21 additions, 34 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
- src/plugins/e-acsl/tests/bts/bts1399.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/bts1399.c
- src/plugins/e-acsl/tests/bts/oracle/bts1304.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1304.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1324.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1324.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1326.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1326.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle 5 additions, 5 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1399.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1478.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1478.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1700.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1700.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1717.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1717.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1718.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1718.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1837.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts1837.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1304.c 10 additions, 8 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1304.c
Loading
Please register or sign in to comment