tests/value/oracle/recursion.2.res.oracle · 50db0caaaf10091f0fcb2aa5802c47b8ebc3c773 · pub / frama-c · GitLab

Snippets Groups Projects

"tests/value/git@git.frama-c.com:pub/frama-c.git" did not exist on "e9b12b5f7c9a75e3bdf0011efd3cb989badbe327"

3 years ago
ab58a0ff
[Eva] Do not run the recursion test with the apron ptests config. · ab58a0ff
David Bühler authored 3 years ago
```
As the Apron binding does not support recursion.
```
ab58a0ff

History
[Eva] Do not run the recursion test with the apron ptests config.
David Bühler authored 3 years ago
```
As the Apron binding does not support recursion.
```