diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-05-13 01:15:44 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-13 01:15:44 +0100 |
| commit | 501cac8b2eda9e68c200231bdabca17ac48264d7 (patch) | |
| tree | 9be8adf9c93e430dcb1c0c6d3b39b0aa33a2ea15 /test/Distance.hs | |
| parent | d79412813c44767df06bce0d33f7472b30814a30 (diff) | |
| parent | d50a0b5b57aae1c7558fa77c362ae2e36038b63c (diff) | |
| download | verismith-501cac8b2eda9e68c200231bdabca17ac48264d7.tar.gz verismith-501cac8b2eda9e68c200231bdabca17ac48264d7.zip | |
Merge branch 'master' into dev/reducerdev/reducer
Diffstat (limited to 'test/Distance.hs')
| -rw-r--r-- | test/Distance.hs | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/Distance.hs b/test/Distance.hs new file mode 100644 index 0000000..a59b401 --- /dev/null +++ b/test/Distance.hs @@ -0,0 +1,30 @@ +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 15) Hog.alpha) + y <- Hog.forAll (Hog.list (Hog.linear 0 15) Hog.alpha) + Hog.assert $ udistance x y <= distance x y + +distanceEq :: Property +distanceEq = Hog.property $ do + x <- Hog.forAll (Hog.list (Hog.linear 0 15) Hog.alpha) + distance x x === 0 + udistance x x === 0 + +distanceTests :: TestTree +distanceTests = testGroup "Distance tests" + [ testProperty "Unordered distance <= distance" distanceLess + , testProperty "distance x x === 0" distanceEq + ] |