Routing table is idempotent test.

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
       let justOnce x = L.length (L.filter (L.elem x) xss) == 1
       L.all justOnce (L.concat xss)
 
-    it "insert is idemponent" $ do
-      pending
-{-
-  property $ \ (e :: Env Int) n t -> do
-
-      let t1 = runSimulation e (T.insert n t)
-      let t2 = runSimulation e (T.insert n t >>= T.insert n)
+    it "insert is idemponent" $ property $ \ (e :: Env Int) n t -> do
+      let ins :: NodeInfo Int -> Table Int -> Routing Int (Table Int)
+          ins n t = snd <$> T.insert (currentTime e) (TryInsert n) t
+      let t1 = runSimulation e (ins n t)
+      let t2 = runSimulation e (ins n t >>= ins n)
       t1 `shouldBe` t2
--}