testcases/BinarySearchTree.scala · 302577bc90cda97d687d1ec437aaebb2358a4cd8 · LARA / inox

14 years ago

Robin Steiger authored 14 years ago

The combination Unifier + OrderedBAPA
can now prove the postconditions of
createRoot / dumbInsert / dumbInsertWithOrder
in BinarySearchTree.scala :)

302577bc

Robin Steiger authored 14 years ago

The combination Unifier + OrderedBAPA
can now prove the postconditions of
createRoot / dumbInsert / dumbInsertWithOrder
in BinarySearchTree.scala :)