dmq-node: disable StandardCrypto tests on Windows

They are flaky on GH windows instances.

Author: coot

dmq-node/dmq-node.cabal

@@ -20,10 +20,15 @@ extra-doc-files: CHANGELOG.md
 
 flag cddl
   description: Enable CDDL based tests of the CBOR encoding
-  manual: True
   -- These tests need the cddl and the cbor-diag Ruby-package
   default: True
 
+flag standardcrypto-tests
+  description: Enable StandardCrypto tests
+  -- these tests are flaky on GH Windows instances
+  manual: True
+  default: True
+
 common extensions
   default-extensions:
     BangPatterns
@@ -186,6 +191,9 @@ test-suite dmq-tests
     -T
     -RTS
 
+  if flag(standardcrypto-tests)
+    cpp-options: -DSTANDARDCRYPTO_TESTS
+
 test-suite dmq-cddl
   import:
     warnings,

dmq-node/test/DMQ/Protocol/SigSubmission/Test.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE BangPatterns         #-}
 {-# LANGUAGE BlockArguments       #-}
+{-# LANGUAGE CPP                  #-}
 {-# LANGUAGE DeriveFunctor        #-}
 {-# LANGUAGE FlexibleContexts     #-}
 {-# LANGUAGE FlexibleInstances    #-}
@@ -16,8 +17,11 @@
 {-# LANGUAGE UndecidableInstances #-}
 
 {-# OPTIONS_GHC -Wno-orphans #-}
+#ifndef STANDARDCRYPTO_TESTS
+{-# OPTIONS_GHC -Wno-unused-top-binds #-}
+#endif
 
-module DMQ.Protocol.SigSubmission.Test where
+module DMQ.Protocol.SigSubmission.Test (tests) where
 
 import Codec.CBOR.Encoding qualified as CBOR
 import Codec.CBOR.Read qualified as CBOR
@@ -84,6 +88,7 @@ tests =
           , testProperty "codec valid cbor"    prop_codec_valid_cbor_mockcrypto
           , testProperty "OCert"               prop_codec_cbor_mockcrypto
           ]
+#ifdef STANDARDCRYPTO_TESTS
         , testGroup "StandardCrypto"
           [ testProperty "OCert"               prop_codec_ocert_standardcrypto
           , testProperty "Sig"                 prop_codec_sig_standardcrypto
@@ -101,17 +106,20 @@ tests =
           , testProperty "codec cbor"          prop_codec_cbor_standardcrypto
           , testProperty "codec valid cbor"    prop_codec_valid_cbor_standardcrypto
           ]
+#endif
         ]
       ]
     , testGroup "Crypto"
       [ testGroup "MockCrypto"
         [ testProperty "KES sign verify"     prop_sign_verify_mockcrypto
         , testProperty "validateSig"         prop_validateSig_mockcrypto
         ]
+#ifdef STANDARDCRYPTO_TESTS
       , testGroup "StandardCrypto"
         [ testProperty "KES sign verify"     prop_sign_verify_standardcrypto
         , testProperty "validateSig"         prop_validateSig_standardcrypto
         ]
+#endif
       ]
     ]
 
@@ -244,13 +252,6 @@ shrinkWithConstr update shrinker constr =
        unsafePerformIO (sequenceWithConstr update $ shrinker <$> constr)
     ++ shrinkWithConstrCtx constr
 
-shrinkWithConstr' :: Arbitrary ctx
-                  => (a -> key ->  a)
-                  -> (a -> [a])
-                  -> WithConstr ctx key a
-                  -> [WithConstr ctx key a]
-shrinkWithConstr' update = shrinkWithConstr (\a k -> pure (update a k))
-
 
 type KESCTX            size          = PinnedSizedBytes size
 type WithConstrKES     size crypto a = WithConstr (KESCTX size)  (SignKeyKES crypto, VerKeyKES crypto)  a
@@ -772,8 +773,10 @@ prop_codec_splits3_mockcrypto :: Blind (AnySigMessage MockCrypto) -> Property
 prop_codec_splits3_mockcrypto = prop_codec_splits3 . getBlind
 -}
 
+{-
 prop_codec_splits3_standardcrypto :: Blind (AnySigMessage StandardCrypto) -> Property
 prop_codec_splits3_standardcrypto = prop_codec_splits3 . getBlind
+-}
 
 
 prop_codec_cbor