Merge branch 'kostyantyn/feature/goto' into 'master'
Support instrumentation in presence of statements that break control flow See merge request !101
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/Makefile.in 2 additions, 0 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/exit_points.ml 142 additions, 0 deletionssrc/plugins/e-acsl/exit_points.ml
- src/plugins/e-acsl/exit_points.mli 48 additions, 0 deletionssrc/plugins/e-acsl/exit_points.mli
- src/plugins/e-acsl/main.ml 44 additions, 33 deletionssrc/plugins/e-acsl/main.ml
- src/plugins/e-acsl/misc.ml 41 additions, 36 deletionssrc/plugins/e-acsl/misc.ml
- src/plugins/e-acsl/misc.mli 4 additions, 3 deletionssrc/plugins/e-acsl/misc.mli
- src/plugins/e-acsl/prepare_ast.ml 47 additions, 0 deletionssrc/plugins/e-acsl/prepare_ast.ml
- src/plugins/e-acsl/prepare_ast.mli 29 additions, 0 deletionssrc/plugins/e-acsl/prepare_ast.mli
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c 19 additions, 0 deletions...e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
- src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h 10 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
- src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c 9 additions, 0 deletions...e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c
- src/plugins/e-acsl/tests/bts/bts1740.i 18 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/bts1740.i
- src/plugins/e-acsl/tests/bts/oracle/bts1740.err.oracle 0 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1740.err.oracle
- src/plugins/e-acsl/tests/bts/oracle/bts1740.res.oracle 7 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts1740.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c 16 additions, 16 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1740.c 62 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts1740.c
- src/plugins/e-acsl/tests/gmp/oracle/gen_at.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/gmp/oracle/gen_at.c
- src/plugins/e-acsl/tests/gmp/oracle/gen_at2.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/gmp/oracle/gen_at2.c
- src/plugins/e-acsl/tests/runtime/bypassed_var.c 16 additions, 0 deletionssrc/plugins/e-acsl/tests/runtime/bypassed_var.c
Loading
Please register or sign in to comment