src/main/scala/leon/synthesis/rules/OptimisticGround.scala · 8205d9245e3ecfe9d0995616c2d2c91d7bb0a71e · LARA / inox · GitLab

Snippets Groups Projects

12 years ago
8205d924
Optimistic ground now uses path condition, IntInduction pushes case to path... · 8205d924
Etienne Kneuss authored 12 years ago
```
Optimistic ground now uses path condition, IntInduction pushes case to path condition instead of formula
```
8205d924

History
Optimistic ground now uses path condition, IntInduction pushes case to path...
Etienne Kneuss authored 12 years ago
```
Optimistic ground now uses path condition, IntInduction pushes case to path condition instead of formula
```