|
1 | 1 | (ns hitchhiker.tree.messaging-test |
2 | | - (:require [clojure.test :refer :all] |
3 | | - [hitchhiker.tree.core :as core] |
4 | | - [hitchhiker.tree.messaging :as msg] |
5 | | - [hitchhiker.tree.core-test] |
6 | | - [clojure.test.check :as tc] |
7 | | - [clojure.test.check.clojure-test :refer (defspec)] |
| 2 | + (:require [clojure.test.check.clojure-test :refer [defspec]] |
8 | 3 | [clojure.test.check.generators :as gen] |
9 | | - [clojure.test.check.properties :as prop])) |
| 4 | + [clojure.test.check.properties :as prop] |
| 5 | + [hitchhiker.tree.core :as core] |
| 6 | + hitchhiker.tree.core-test |
| 7 | + [hitchhiker.tree.messaging :as msg])) |
10 | 8 |
|
11 | 9 | (defn insert |
12 | 10 | [t k] |
|
30 | 28 | (let [sorted-set-order (into (sorted-set) v) |
31 | 29 | b-tree (reduce insert (core/b-tree (core/->Config 3 3 2)) v) |
32 | 30 | b-tree-order (lookup-fwd-iter b-tree Integer/MIN_VALUE)] |
33 | | - (= (seq sorted-set-order) b-tree-order)))) |
| 31 | + (= (seq sorted-set-order) b-tree-order)))) |
34 | 32 |
|
35 | 33 | (defspec test-delete2 |
36 | 34 | 1000 |
|
86 | 84 | :del (msg/delete %2 (second %1))) |
87 | 85 | ] |
88 | 86 | ; (println ops) |
89 | | - (println killer-op) |
| 87 | + (println killer-op) |
90 | 88 | (clojure.pprint/pprint b-tree) |
91 | 89 | (println (lookup-fwd-iter b-tree -1)) |
92 | 90 | (println (sort s)) |
|
96 | 94 | (println (lookup-fwd-iter (f killer-op b-tree) -1)) |
97 | 95 | (println (sort (disj s (second killer-op)))) |
98 | 96 | (when killer-op-dos |
99 | | - (println killer-op-dos) |
| 97 | + (println killer-op-dos) |
100 | 98 | (clojure.pprint/pprint (f killer-op-dos (f killer-op b-tree))))) |
101 | 99 | ) |
102 | | - |
| 100 | + |
103 | 101 | (clojure.pprint/pprint cool-test-tree) |
104 | 102 | (clojure.pprint/pprint (insert cool-test-tree 20)) |
105 | 103 | (clojure.pprint/pprint (msg/delete cool-test-tree 32)) |
|
0 commit comments