src/main/scala/leon/synthesis/rules/StringRender.scala · 7c78e6a59874226b8a2db195e2203fc431c66d23 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
7c78e6a5
Renaming StringTracingEvaluator.scala to AbstractEvaluator.scala · 7c78e6a5
Mikaël Mayer authored 9 years ago
```
Better extraction of abstract examples.
Added abstract FunctionInvocation when extracting examples from StringRender.
```
7c78e6a5

History
Renaming StringTracingEvaluator.scala to AbstractEvaluator.scala
Mikaël Mayer authored 9 years ago
```
Better extraction of abstract examples.
Added abstract FunctionInvocation when extracting examples from StringRender.
```