Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

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

Snippets Groups Projects

70760544

Commit 70760544 authored 4 years ago by Allan Blanchard

Downloads
- Plain Diff

Merge branch 'fix/andre/opam-tests' into 'stable/titanium'

Fix/andre/opam tests

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

parents 1d61b784 75deb3ba

No related branches found

No related tags found

No related merge requests found

Changes 10

Hide whitespace changes

Inline Side-by-side

Showing

opam/opam 5 additions, 1 deletion

opam/opam
tests/fc_script/main.c 0 additions, 1 deletion

tests/fc_script/main.c
tests/fc_script/oracle/flamegraph.err 0 additions, 0 deletions

tests/fc_script/oracle/flamegraph.err
tests/fc_script/oracle/flamegraph.html 0 additions, 10 deletions

tests/fc_script/oracle/flamegraph.html
tests/fc_script/oracle/flamegraph.res 0 additions, 0 deletions

tests/fc_script/oracle/flamegraph.res
tests/misc/pragma-pack.c 1 addition, 1 deletion

tests/misc/pragma-pack.c
tests/syntax/cpp-command.c 1 addition, 1 deletion

tests/syntax/cpp-command.c
tests/syntax/oracle/cpp-command.0.res.oracle 1 addition, 1 deletion

tests/syntax/oracle/cpp-command.0.res.oracle
tests/syntax/oracle/cpp-command.1.res.oracle 1 addition, 1 deletion

tests/syntax/oracle/cpp-command.1.res.oracle
tests/syntax/oracle/cpp-command.4.res.oracle 1 addition, 1 deletion

tests/syntax/oracle/cpp-command.4.res.oracle

with 10 additions and 17 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