src/main/scala/leon/evaluators/TracingEvaluator.scala · d9a82908388f1fe3dfc61c273c060f99d44e5dfe · LARA / inox · GitLab

Snippets Groups Projects

10 years ago
d9a82908
Evaluate Pattern matching, matchToITE no longer necessary · d9a82908
Etienne Kneuss authored 10 years ago
```
More precise tracing, especially for in-IDE exploration of execution
```
d9a82908

History
Evaluate Pattern matching, matchToITE no longer necessary
Etienne Kneuss authored 10 years ago
```
More precise tracing, especially for in-IDE exploration of execution
```