src/main/scala/leon/verification/VerificationCondition.scala · c7f8f236af27929cc66c756e8b35fff1cb939316 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
c7f8f236
Added pretty printing for any function ending with "toString" (any case) of the right type, · c7f8f236
Mikaël Mayer authored 9 years ago
```
for displaying counter-examples for the Verification.
```
c7f8f236

History
Added pretty printing for any function ending with "toString" (any case) of the right type,
Mikaël Mayer authored 9 years ago
```
for displaying counter-examples for the Verification.
```