src/funcheck/scalacheck/ScalaCheckIntegrator.scala · 66004060889deaebab0d156688712a88cbe8f9a0 · LARA / inox · GitLab

Snippets Groups Projects

16 years ago
66004060
- [Refactoring] GeneratorDefDefInjector Transformer does not need type parameter · 66004060
Mirco Dotta authored 16 years ago
```
- Added Skeleton for ForAllTransformer tree transformer 
```
66004060

History
- [Refactoring] GeneratorDefDefInjector Transformer does not need type parameter
Mirco Dotta authored 16 years ago
```
- Added Skeleton for ForAllTransformer tree transformer 
```