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

Snippets Groups Projects

9 years ago
476a18f4
Corrected ScopeSimplifier.scala (wrong nested definition of argument identifiers) · 476a18f4
Mikaël Mayer authored 9 years ago
```
Corrected bug when using string and escape
Added a comment about application simplification.
```
476a18f4

History
Corrected ScopeSimplifier.scala (wrong nested definition of argument identifiers)
Mikaël Mayer authored 9 years ago
```
Corrected bug when using string and escape
Added a comment about application simplification.
```

StringRender.scala 29.50 KiB