mirror of
https://github.com/simplex-chat/simplexmq.git
synced 2026-03-30 18:35:59 +00:00
488398df9f
* types and encodings for double ratchet integration * upgrade stack resolver * type classes for version agreement, encode/decode connection request links and E2E params with versioning * encode/decode client parameters (version and DH key) in SMP queue URI using query string parameters * restore support of the current SMP queue URI format * update AMessage to only send queues in REPLY message (not the full connection request) * new agent message evnvelopes (tests fail) * new message envelopes - tests pass * store fully encrypted messages before sending * unify message delivery via DB queue (excluding confirmation and invitation) * remove activateSecuredQueue * linter hints * remove comment * export order * save rachet-encrypted message, not per-queue encrypted * delete message after it is accepted by the server, reduce message delivery interval for the tests Co-authored-by: Efim Poberezkin <8711996+efim-poberezkin@users.noreply.github.com>
59 lines
2.4 KiB
Haskell
59 lines
2.4 KiB
Haskell
{-# LANGUAGE DeriveGeneric #-}
|
|
{-# LANGUAGE FlexibleContexts #-}
|
|
{-# LANGUAGE ScopedTypeVariables #-}
|
|
{-# LANGUAGE TypeFamilies #-}
|
|
|
|
module CoreTests.VersionRangeTests where
|
|
|
|
import GHC.Generics (Generic)
|
|
import Generic.Random (genericArbitraryU)
|
|
import Simplex.Messaging.Version
|
|
import Test.Hspec
|
|
import Test.Hspec.QuickCheck (modifyMaxSuccess)
|
|
import Test.QuickCheck
|
|
|
|
data V = V1 | V2 | V3 | V4 | V5 deriving (Eq, Enum, Ord, Generic, Show)
|
|
|
|
instance Arbitrary V where arbitrary = genericArbitraryU
|
|
|
|
versionRangeTests :: Spec
|
|
versionRangeTests = modifyMaxSuccess (const 1000) $ do
|
|
describe "VersionRange construction" $ do
|
|
it "should fail on invalid range" $ do
|
|
vr 1 1 `shouldBe` vr 1 1
|
|
vr 1 2 `shouldBe` vr 1 2
|
|
(pure $! vr 2 1) `shouldThrow` anyErrorCall
|
|
describe "compatible version" $ do
|
|
it "should choose mutually compatible max version" $ do
|
|
(vr 1 1, vr 1 1) `compatible` Just 1
|
|
(vr 1 1, vr 1 2) `compatible` Just 1
|
|
(vr 1 2, vr 1 2) `compatible` Just 2
|
|
(vr 1 2, vr 2 3) `compatible` Just 2
|
|
(vr 1 3, vr 2 3) `compatible` Just 3
|
|
(vr 1 3, vr 2 4) `compatible` Just 3
|
|
(vr 1 2, vr 3 4) `compatible` Nothing
|
|
it "should check if version is compatible" $ do
|
|
isCompatible (1 :: Version) (vr 1 2) `shouldBe` True
|
|
isCompatible (2 :: Version) (vr 1 2) `shouldBe` True
|
|
isCompatible (2 :: Version) (vr 1 1) `shouldBe` False
|
|
isCompatible (1 :: Version) (vr 2 2) `shouldBe` False
|
|
it "compatibleVersion should pass isCompatible check" . property $
|
|
\((min1, max1) :: (V, V)) ((min2, max2) :: (V, V)) ->
|
|
min1 > max1 || min2 > max2 -- one of ranges is invalid, skip testing it
|
|
|| let w = fromIntegral . fromEnum
|
|
vr1 = mkVersionRange (w min1) (w max1) :: VersionRange
|
|
vr2 = mkVersionRange (w min2) (w max2) :: VersionRange
|
|
in case compatibleVersion vr1 vr2 of
|
|
Just (Compatible v) -> v `isCompatible` vr1 && v `isCompatible` vr2
|
|
_ -> True
|
|
where
|
|
vr = mkVersionRange
|
|
compatible :: (VersionRange, VersionRange) -> Maybe Version -> Expectation
|
|
(vr1, vr2) `compatible` v = do
|
|
(vr1, vr2) `checkCompatible` v
|
|
(vr2, vr1) `checkCompatible` v
|
|
(vr1, vr2) `checkCompatible` v =
|
|
case compatibleVersion vr1 vr2 of
|
|
Just (Compatible v') -> Just v' `shouldBe` v
|
|
Nothing -> Nothing `shouldBe` v
|