testcases/stringrender/ListRender.scala · 7df9e194a269fd12992b6919d575c7938d931b37 · LARA / inox · GitLab

Snippets Groups Projects

On July 17th (i.e. next week), GitLab is moving to a new infrastructure and identity provider.

If you are a “guest” user, action is required. Please follow the first few steps at https://go.epfl.ch/gitlab2025 to create your new guest account at https://eduid.ch/registration and get ahead of the curve.

9 years ago
7df9e194
Added script to test for string repair · 7df9e194
Mikaël Mayer authored 9 years ago
```
Added repair functions for TupleWrapperRender.scala
Added reference to leon.lang.String
```
7df9e194

History
Added script to test for string repair
Mikaël Mayer authored 9 years ago
```
Added repair functions for TupleWrapperRender.scala
Added reference to leon.lang.String
```