tests/libc/oracle/sys_file_h.res.oracle · 0082360e812da01ab7e0f2c4b09ac852711891e0 · 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".
```

sys_file_h.res.oracle 1.13 KiB