testcases/SetOperations.scala · e4d996012d408d453fc4810b6cd20e378cd1438b · LARA / inox · GitLab

Snippets Groups Projects

14 years ago
36a65084
Can now solve BAPA formulas of any set type (ex. Set[String]). · 36a65084
Robin Steiger authored 14 years ago
```
A warning is shown when sets are of heterogeneous types.
```
36a65084

History
Can now solve BAPA formulas of any set type (ex. Set[String]).
Robin Steiger authored 14 years ago
```
A warning is shown when sets are of heterogeneous types.
```