[Eva] Eval_terms: reduces on valid_string and valid_read_string ACSL predicates. (f1371ff0) · Commits · pub / frama-c · GitLab

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

f1371ff0

Commit f1371ff0 authored 1 year ago by David Bühler Committed by Andre Maroneze 11 months ago

Downloads
- Patches
- Plain Diff

[Eva] Eval_terms: reduces on valid_string and valid_read_string ACSL predicates.

parent a4424fe0

No related branches found

No related tags found

No related merge requests found

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/eva/legacy/eval_terms.ml 62 additions, 0 deletions

src/plugins/eva/legacy/eval_terms.ml
tests/builtins/oracle/strchr.res.oracle 4 additions, 11 deletions

tests/builtins/oracle/strchr.res.oracle
tests/builtins/oracle/strlen.res.oracle 1 addition, 1 deletion

tests/builtins/oracle/strlen.res.oracle
tests/builtins/oracle/strnlen2.res.oracle 1 addition, 1 deletion

tests/builtins/oracle/strnlen2.res.oracle
tests/builtins/oracle/wcslen.res.oracle 2 additions, 3 deletions

tests/builtins/oracle/wcslen.res.oracle
tests/libc/oracle/libgen_h.res.oracle 2 additions, 2 deletions

tests/libc/oracle/libgen_h.res.oracle
tests/libc/oracle/stdlib_c_env.res.oracle 1 addition, 7 deletions

tests/libc/oracle/stdlib_c_env.res.oracle

with 73 additions and 25 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