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

dbdd94a3

Commit dbdd94a3 authored 3 years ago by Andre Maroneze

Downloads
- Plain Diff

Merge branch 'fix/eva/logic-valid-location' into 'master'

[Eva] Reduces garbled mix locations by \valid predicates.

See merge request frama-c/frama-c!3249

parents 8b6a204d 7ee79411

No related branches found

No related tags found

Loading

Changes 5

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_getenv.c 0 additions, 9 deletions

src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_getenv.c
src/plugins/e-acsl/tests/temporal/oracle_ci/t_getenv.res.oracle 0 additions, 6 deletions

...ugins/e-acsl/tests/temporal/oracle_ci/t_getenv.res.oracle
src/plugins/value/legacy/eval_op.ml 16 additions, 24 deletions

src/plugins/value/legacy/eval_op.ml
tests/value/oracle/reduce_by_valid.res.oracle 81 additions, 17 deletions

tests/value/oracle/reduce_by_valid.res.oracle
tests/value/reduce_by_valid.i 38 additions, 0 deletions

tests/value/reduce_by_valid.i

with 135 additions and 56 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