Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

860fd6a8

Commit 860fd6a8 authored 12 years ago by Julien Signoles

Downloads
- Patches
- Plain Diff

[E-ACSL] update according to kernel's change. Still remain to fix GP's invalid commit r20854

parent a0f8d8c2

No related branches found

No related tags found

No related merge requests found

Changes 10

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/e-acsl/pre_analysis.ml 1 addition, 3 deletions

src/plugins/e-acsl/pre_analysis.ml
src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c 2 additions, 2 deletions

src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1307.1.res.oracle 1 addition, 2 deletions

...s/e-acsl/tests/e-acsl-runtime/oracle/bts1307.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1307.res.oracle 1 addition, 2 deletions

...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1307.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/literal_string.1.res.oracle 2 additions, 2 deletions

...l/tests/e-acsl-runtime/oracle/literal_string.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/literal_string.res.oracle 2 additions, 2 deletions

...csl/tests/e-acsl-runtime/oracle/literal_string.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/localvar.1.res.oracle 2 additions, 2 deletions

.../e-acsl/tests/e-acsl-runtime/oracle/localvar.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/localvar.res.oracle 2 additions, 2 deletions

...ns/e-acsl/tests/e-acsl-runtime/oracle/localvar.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid_alias.1.res.oracle 3 additions, 3 deletions

...acsl/tests/e-acsl-runtime/oracle/valid_alias.1.res.oracle
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid_alias.res.oracle 3 additions, 3 deletions

...e-acsl/tests/e-acsl-runtime/oracle/valid_alias.res.oracle

with 19 additions and 23 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment