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

Snippets Groups Projects

9 years ago
233c8969
Added the Default.scala for base type conversion. · 233c8969
Mikaël Mayer authored 9 years ago
```
Int to string conversion can now be inferred as boolean to string.
```
233c8969

History
Added the Default.scala for base type conversion.
Mikaël Mayer authored 9 years ago
```
Int to string conversion can now be inferred as boolean to string.
```