summaryrefslogtreecommitdiff
path: root/tests/Network
diff options
context:
space:
mode:
Diffstat (limited to 'tests/Network')
-rw-r--r--tests/Network/BitTorrent/DHT/RoutingSpec.hs13
1 files changed, 5 insertions, 8 deletions
diff --git a/tests/Network/BitTorrent/DHT/RoutingSpec.hs b/tests/Network/BitTorrent/DHT/RoutingSpec.hs
index 6c0caad5..07a906ba 100644
--- a/tests/Network/BitTorrent/DHT/RoutingSpec.hs
+++ b/tests/Network/BitTorrent/DHT/RoutingSpec.hs
@@ -69,12 +69,9 @@ spec = do
69 let justOnce x = L.length (L.filter (L.elem x) xss) == 1 69 let justOnce x = L.length (L.filter (L.elem x) xss) == 1
70 L.all justOnce (L.concat xss) 70 L.all justOnce (L.concat xss)
71 71
72 it "insert is idemponent" $ do 72 it "insert is idemponent" $ property $ \ (e :: Env Int) n t -> do
73 pending 73 let ins :: NodeInfo Int -> Table Int -> Routing Int (Table Int)
74{- 74 ins n t = snd <$> T.insert (currentTime e) (TryInsert n) t
75 property $ \ (e :: Env Int) n t -> do 75 let t1 = runSimulation e (ins n t)
76 76 let t2 = runSimulation e (ins n t >>= ins n)
77 let t1 = runSimulation e (T.insert n t)
78 let t2 = runSimulation e (T.insert n t >>= T.insert n)
79 t1 `shouldBe` t2 77 t1 `shouldBe` t2
80-}