src/plugins/e-acsl/tests/memory/hidden_malloc.c · 04cdf3a419e9db6452db0eef9dac3ef1c96901ea · pub / frama-c

5 years ago

[eacsl:tests] Reactivate failed CI tests for dev config · 09401e70

Basile Desloges authored 5 years ago

The following tests failed on CI due to Nix's GCC hardening:
- `bts/bts1398.c`
- `full-mmodel/addrOf.i`
- `memory/constructor.c`
- `memory/hidden_malloc.c`
- `memory/local_goto.c`

They have been reactivated in this commit.

09401e70

History

[eacsl:tests] Reactivate failed CI tests for dev config

Basile Desloges authored 5 years ago

The following tests failed on CI due to Nix's GCC hardening:
- `bts/bts1398.c`
- `full-mmodel/addrOf.i`
- `memory/constructor.c`
- `memory/hidden_malloc.c`
- `memory/local_goto.c`

They have been reactivated in this commit.