tests/libc/oracle/pthread_h.res.oracle · 2aefd5ed9623e4bef5faf2753e1c2bbcfa480575 · pub / frama-c · GitLab

Snippets Groups Projects

1 year ago
e8e663c2
[Eva] Capitalizes final message "done for function main". · e8e663c2
David Bühler authored 1 year ago
```
In all files, all occurrences of "[eva] done for function" have been replaced
by "[eva] Done for function".
```
e8e663c2

History
[Eva] Capitalizes final message "done for function main".
David Bühler authored 1 year ago
```
In all files, all occurrences of "[eva] done for function" have been replaced
by "[eva] Done for function".
```

pthread_h.res.oracle 3.99 KiB