src/test/scala/leon/regression/verification/PureScalaVerificationSuite.scala · 20291961ff530f28cd3f01da7cdcfff4e089dfa6 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
20291961
Fix VerificationSuite · 20291961
Etienne Kneuss authored 9 years ago
```
Fix how names are printed
Fix how tests are ignored
Ignore correct tests
```
20291961

History
Fix VerificationSuite
Etienne Kneuss authored 9 years ago
```
Fix how names are printed
Fix how tests are ignored
Ignore correct tests
```

PureScalaVerificationSuite.scala 1.43 KiB