testcases/BinarySearchTree.scala · 9e1b8e0b6d3b654a25b14809a0c668a871adb014 · LARA / inox · GitLab

Snippets Groups Projects

14 years ago
9e1b8e0b
Rewrite if expressions as disjunctions. · 9e1b8e0b
Robin Steiger authored 14 years ago
```
We can now prove insert in BinarySearchTree.scala, yeah !
```
9e1b8e0b

History
Rewrite if expressions as disjunctions.
Robin Steiger authored 14 years ago
```
We can now prove insert in BinarySearchTree.scala, yeah !
```