src/plugins/e-acsl/tests/e-acsl-runtime/oracle/quantif.res.oracle · 28887ed49140a9795823304ce5105e3f514505b2 · pub / frama-c · GitLab

Snippets Groups Projects

"README.md" did not exist on "bc153f5cadd391941a47a2316e77a665882ac922"

10 years ago
28887ed4
[visit] fix a inter-project sharing bug, because renaming a variable instead of creating a new one · 28887ed4
Julien Signoles authored 10 years ago
```
[tests] update oracles according to various recent kernel changes
```
28887ed4

History
[visit] fix a inter-project sharing bug, because renaming a variable instead of creating a new one
Julien Signoles authored 10 years ago
```
[tests] update oracles according to various recent kernel changes
```