src/main/scala/leon/evaluators/Evaluator.scala · 99eae9fa58ca8b723c26a22f999bca6e3d615cdd · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
99eae9fa
Removed the recursive evaluation of a value in the model. · 99eae9fa
Mikaël Mayer authored 9 years ago
```
Added the evaluation of the environment prior to evaluation of expression in test cases.
```
99eae9fa

History
Removed the recursive evaluation of a value in the model.
Mikaël Mayer authored 9 years ago
```
Added the evaluation of the environment prior to evaluation of expression in test cases.
```