src/test/scala/leon/regression/synthesis/StablePrintingSuite.scala · b3559b983b9779b5241ccc2911f4eaf12bdc87f0 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
b3559b98
Mutable field in an object? I don't think so. · b3559b98
Etienne Kneuss authored 9 years ago
```
This is a dirty quick fix for now until we rewrite the FunctionClosure
phase.
```
b3559b98

History
Mutable field in an object? I don't think so.
Etienne Kneuss authored 9 years ago
```
This is a dirty quick fix for now until we rewrite the FunctionClosure
phase.
```

StablePrintingSuite.scala 4.03 KiB