-
- Downloads
Fixed a bug with Equalities.
Fixed the bug caught by Robin in his own code for searchAndReplace, which we were using. :-\ dumbInsert and createRoot in BinarySearchTree seem to be verified correctly.
Showing
- src/orderedsets/Main.scala 9 additions, 1 deletionsrc/orderedsets/Main.scala
- src/orderedsets/TreeOperations.scala 6 additions, 1 deletionsrc/orderedsets/TreeOperations.scala
- src/orderedsets/UnifierMain.scala 27 additions, 9 deletionssrc/orderedsets/UnifierMain.scala
- testcases/BinarySearchTree.scala 4 additions, 0 deletionstestcases/BinarySearchTree.scala
Loading
Please register or sign in to comment