From a3fdc99c2066ace9855a6b687274a30bebb274bc Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 26 Apr 2020 03:25:29 +0100
Subject: Add distance measure for lists with testcases

---
 test/Distance.hs | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 test/Distance.hs

(limited to 'test/Distance.hs')

diff --git a/test/Distance.hs b/test/Distance.hs
new file mode 100644
index 0000000..430d215
--- /dev/null
+++ b/test/Distance.hs
@@ -0,0 +1,21 @@
+module Distance
+  ( distanceTests
+  )
+where
+
+import Hedgehog (Property)
+import qualified Hedgehog as Hog
+import qualified Hedgehog.Gen as Hog
+import qualified Hedgehog.Range as Hog
+import Verismith.Verilog.Distance
+import Test.Tasty
+import Test.Tasty.Hedgehog
+
+distanceLess :: Property
+distanceLess = Hog.property $ do
+  x <- Hog.forAll (Hog.list (Hog.linear 0 10) Hog.alpha)
+  y <- Hog.forAll (Hog.list (Hog.linear 0 10) Hog.alpha)
+  Hog.assert $ udistance x y <= distance x y
+
+distanceTests :: TestTree
+distanceTests = testProperty "Unordered distance <= distance" distanceLess
-- 
cgit