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

da8e5acf

Commit da8e5acf authored 2 years ago by Tristan Le Gall

Downloads
- Plain Diff

[alias] Merge branch 'verbose' into 'master'

small improvements to verbose messages and warnings

See merge request tl228638/alias-merce!44

parents 39828d49 af0dc914

No related branches found

No related tags found

Loading

Changes 10

Expand all Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/alias/abstract_state.ml 32 additions, 51 deletions

src/plugins/alias/abstract_state.ml
src/plugins/alias/analysis.ml 19 additions, 8 deletions

src/plugins/alias/analysis.ml
src/plugins/alias/options.ml 3 additions, 2 deletions

src/plugins/alias/options.ml
src/plugins/alias/options.mli 3 additions, 2 deletions

src/plugins/alias/options.mli
src/plugins/alias/tests/real_world/example2.c 108 additions, 0 deletions

src/plugins/alias/tests/real_world/example2.c
src/plugins/alias/tests/real_world/oracle/example1.res.oracle 2 additions, 2 deletions

...plugins/alias/tests/real_world/oracle/example1.res.oracle
src/plugins/alias/tests/real_world/oracle/example2.res.oracle 462 additions, 0 deletions

...plugins/alias/tests/real_world/oracle/example2.res.oracle
src/plugins/alias/tests/unsupported/asm.c 4 additions, 0 deletions

src/plugins/alias/tests/unsupported/asm.c
src/plugins/alias/tests/unsupported/explicit_pointer.c 3 additions, 0 deletions

src/plugins/alias/tests/unsupported/explicit_pointer.c
src/plugins/alias/tests/unsupported/pointer_call.c 8 additions, 0 deletions

src/plugins/alias/tests/unsupported/pointer_call.c

with 644 additions and 65 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