src/main/scala/leon/purescala/ExprOps.scala · 9cc71c242b6a8517b648b3de44c5b2f24fa3ce9e · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
9cc71c24
Corrected isHomo to take into account function bodies. · 9cc71c24
Mikaël Mayer authored 9 years ago
```
Simplified the double list benchmark which works now.
```
9cc71c24

History
Corrected isHomo to take into account function bodies.
Mikaël Mayer authored 9 years ago
```
Simplified the double list benchmark which works now.
```