src/main/scala/leon/plugin/CodeExtraction.scala · ffe4dfe153b261274584d5f3be29bb53fad28f79 · LARA / inox · GitLab

Snippets Groups Projects

13 years ago
ffe4dfe1
handle unit type in z3 solver, and parse function with unit return type.... · ffe4dfe1
Régis Blanc authored 13 years ago
```
handle unit type in z3 solver, and parse function with unit return type. Disable UnitEliminationPass
```
ffe4dfe1

History
handle unit type in z3 solver, and parse function with unit return type....
Régis Blanc authored 13 years ago
```
handle unit type in z3 solver, and parse function with unit return type. Disable UnitEliminationPass
```

CodeExtraction.scala 37.05 KiB