tests/syntax/oracle/check_builtin_bts1440.res.oracle · 0a7b6097eeb0fc6e7835d9fba6f4977962bbfcf3 · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
a0d5190e
Merge branch 'feature/andre/libc-sync-synchronize' into 'master' · a0d5190e
Michele Alberti authored 3 years ago
```
[Libc] add spec for GCC builtin __sync_synchronize

Closes #784

See merge request frama-c/frama-c!3493
```
a0d5190e

History
Merge branch 'feature/andre/libc-sync-synchronize' into 'master'
Michele Alberti authored 3 years ago
```
[Libc] add spec for GCC builtin __sync_synchronize

Closes #784

See merge request frama-c/frama-c!3493
```