Merge branch 'bufix/thibaut/initial-tls-too-short' into 'master'
[eacsl] Increase the size of TLS in memory shadow model when necessary Closes e-acsl#197 See merge request frama-c/frama-c!3687
Showing
- src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c 29 additions, 0 deletions...-acsl/observation_model/internals/e_acsl_safe_locations.c
- src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h 8 additions, 0 deletions...-acsl/observation_model/internals/e_acsl_safe_locations.h
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c 5 additions, 1 deletion...servation_model/segment_model/e_acsl_shadow_concurrency.c
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c 45 additions, 9 deletions...sl/observation_model/segment_model/e_acsl_shadow_layout.c
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h 1 addition, 1 deletion...sl/observation_model/segment_model/e_acsl_shadow_layout.h
- src/plugins/e-acsl/tests/concurrency/oracle_dev/threads_debug.e-acsl.err.log 129 additions, 129 deletions...tests/concurrency/oracle_dev/threads_debug.e-acsl.err.log
- src/plugins/e-acsl/tests/concurrency/threads_debug.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/concurrency/threads_debug.c
- src/plugins/e-acsl/tests/special/e-acsl-rt-debug.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/special/e-acsl-rt-debug.c
- src/plugins/e-acsl/tests/special/oracle_dev/e-acsl-rt-debug.e-acsl.err.log 9 additions, 9 deletions...l/tests/special/oracle_dev/e-acsl-rt-debug.e-acsl.err.log
Loading
Please register or sign in to comment