tests/syntax/oracle/copy_visitor.res.oracle · e71bd08304f4eec5f834a25dc3091173214cdac2 · 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".
```

copy_visitor.res.oracle 1.21 KiB