Commit 09401e70 authored 5 years ago by Basile Desloges

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

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.

parent 5fa17e09

No related branches found

No related tags found

Hide whitespace changes

Inline Side-by-side

Showing with 10 additions and 30 deletions

Please register or to comment