tests/value/oracle/multidim.1.res.oracle · 8837765cedf73cac1ed30bbf786fa10154bdae1b · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
8837765c
[Eva] multidim: fix a non termination bug · 8837765c
Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
```
- Unification doesn't keep empty slices anymore so they can't accumulate
- Fix the conversion of bounds to constants
```
8837765c

History
[Eva] multidim: fix a non termination bug
Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
```
- Unification doesn't keep empty slices anymore so they can't accumulate
- Fix the conversion of bounds to constants
```

multidim.1.res.oracle 1.09 KiB