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

Snippets Groups Projects

9 years ago
d1d1114d
Simplified StringTracingEvaluator.scala, · d1d1114d
Mikaël Mayer authored 9 years ago
```
Enforced conditionals evaluation in match/case statements.
```
d1d1114d

History
Simplified StringTracingEvaluator.scala,
Mikaël Mayer authored 9 years ago
```
Enforced conditionals evaluation in match/case statements.
```