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

45d4acb1

Commit 45d4acb1 authored 7 years ago by Andre Maroneze

Downloads
- Patches
- Plain Diff

[Eva/Tests] use macros in delphic tests

These macros should make the diffs more understandable and maintainable.

Also fix assertion from test in strchr.

parent fbbce525

No related branches found

No related tags found

Loading

Changes 9

Expand all Hide whitespace changes

Inline Side-by-side

Showing

tests/non-free/memchr.c 128 additions, 110 deletions

tests/non-free/memchr.c
tests/non-free/oracle/memchr.res.oracle 1033 additions, 1464 deletions

tests/non-free/oracle/memchr.res.oracle
tests/non-free/oracle/strchr.res.oracle 531 additions, 1016 deletions

tests/non-free/oracle/strchr.res.oracle
tests/non-free/oracle/strlen.res.oracle 37 additions, 96 deletions

tests/non-free/oracle/strlen.res.oracle
tests/non-free/oracle/wcslen.res.oracle 37 additions, 98 deletions

tests/non-free/oracle/wcslen.res.oracle
tests/non-free/strchr.c 110 additions, 92 deletions

tests/non-free/strchr.c
tests/non-free/strlen.c 15 additions, 15 deletions

tests/non-free/strlen.c
tests/non-free/strnlen2.c 35 additions, 35 deletions

tests/non-free/strnlen2.c
tests/non-free/wcslen.c 15 additions, 15 deletions

tests/non-free/wcslen.c

with 1941 additions and 2941 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