testcases/Interpret.scala · 31df59299e62432a9ab0381fa81fd7c5ac7f6bcd · LARA / inox · GitLab

Snippets Groups Projects

12 years ago
eb9903bb
A cegis example hard-wired into Leon. · eb9903bb
Viktor Kuncak authored 12 years ago
```
The benchmark searches for a tree representing absolute value.
```
eb9903bb

History
A cegis example hard-wired into Leon.
Viktor Kuncak authored 12 years ago
```
The benchmark searches for a tree representing absolute value.
```