Updating specifications in integration test suite (#45)

* remove: GRPC specification from integration tests * fix: update RateLimit specification in integration tests * fix: update SpanTree specification in integration tests
awakesecurity · Feb 10, 2022 · 76f9838 · 76f9838
1 parent 21337e4
commit 76f9838
Show file tree

Hide file tree

Showing 5 changed files with 228 additions and 427 deletions.
diff --git a/spectacle.cabal b/spectacle.cabal
@@ -20,6 +20,7 @@ copyright:           2021 Arista Networks
 build-type:          Simple
 tested-with:
   GHC == 8.10.3
+  GHC == 8.10.4
 
 extra-source-files:
   README.md
@@ -48,10 +49,10 @@ common common
   default-extensions:
      BangPatterns BlockArguments ConstraintKinds DataKinds DefaultSignatures
      DeriveFunctor DeriveGeneric DerivingVia FlexibleContexts FlexibleInstances
-     GADTs LambdaCase MagicHash MultiParamTypeClasses PatternSynonyms PolyKinds
-     RankNTypes RoleAnnotations ScopedTypeVariables StandaloneDeriving
-     StandaloneKindSignatures TypeApplications TypeOperators UnicodeSyntax
-     ViewPatterns
+     GADTs ImportQualifiedPost LambdaCase MagicHash MultiParamTypeClasses
+     PatternSynonyms PolyKinds RankNTypes RoleAnnotations ScopedTypeVariables
+     StandaloneDeriving StandaloneKindSignatures TypeApplications TypeOperators
+     UnicodeSyntax ViewPatterns
 
 library
   import:              common
@@ -178,11 +179,14 @@ test-suite integration-tests
   other-modules:
     Specifications.BitClock
     Specifications.Diehard
+    Specifications.RateLimit
     Specifications.SimpleClock
+    Specifications.SpanningTree
     Specifications.Status
 
   build-depends:
       spectacle
+    , containers
     , hashable
     , hedgehog
     , tasty

diff --git a/test/integration/Main.hs b/test/integration/Main.hs
@@ -11,7 +11,9 @@ import Language.Spectacle.Specification (Specification)
 
 import qualified Specifications.BitClock as BitClock
 import qualified Specifications.Diehard as Diehard
+import qualified Specifications.RateLimit as RateLimit
 import qualified Specifications.SimpleClock as SimpleClock
+import qualified Specifications.SpanningTree as SpanningTree
 import qualified Specifications.Status as Status
 
 -- ---------------------------------------------------------------------------------------------------------------------
@@ -20,10 +22,12 @@ main :: IO ()
 main =
   defaultMain $
     testGroup
-      "integration tests"
+      "Integration"
       [ testProperty "Specifications.BitClock" (testCheckVerify BitClock.bitClockSpec)
       , testProperty "Specifications.Diehard" (testCheckRefute Diehard.diehardSpec)
+      , testProperty "Specifications.RateLimit" (testCheckVerify RateLimit.rateLimitSpec)
       , testProperty "Specifications.SimpleClock" (testCheckVerify SimpleClock.clockSpec)
+      , testProperty "Specifications.SpanningTree" (testCheckVerify SpanningTree.spanTreeSpec)
       , testProperty "Specifications.Status" (testCheckVerify Status.statusSpec)
       ]
 

diff --git a/test/integration/Specifications/GRPC.hs b/test/integration/Specifications/GRPC.hs