/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
H A D | ArithNoSolver.hs | 88 mkTest (x, y, s) = testCase ("arithCF-" ++ nm ++ "." ++ x ++ "_" ++ y) (s `showsAs` "True") function 108 mkTest (x, y, s) = testCase ("arithCF-" ++ nm ++ "." ++ x ++ "_" ++ y) (s `showsAs` "True") function 123 mkTest (x, s) = testCase ("arithCF-" ++ nm ++ "." ++ x) (s `showsAs` "True") function 141 …mkTest (t, x, y, a, b, s) = testCase ("arithCF-" ++ nm ++ "." ++ t ++ "_" ++ x ++ "_" ++ y ++ "_" … function 181 mkTest (l, s) = testCase ("arithCF-genShiftMixSize" ++ l) (s `showsAs` "True") function 208 where mkTest (x, r) = testCase ("blast-" ++ x) (r `showsAs` "True") function 228 where mkTest (x, r) = testCase ("count-" ++ x) (r `showsAs` "True") function 234 where mkTest (x, r) = testCase ("intCast-" ++ x) (r `showsAs` "True") function 270 … mkTest (nm, x, y, s) = testCase ("arithCF-" ++ nm ++ "." ++ x ++ "_" ++ y) (s `showsAs` "True") function 295 … mkTest (nm, (x, y, s)) = testCase ("arithCF-" ++ nm ++ "." ++ x ++ "_" ++ y) (s `showsAs` "True") function [all …]
|
H A D | ArithSolver.hs | 89 …where mkTest (x, y, t) = testCase ("genBinTest.arithmetic-" ++ nm ++ "." ++ x ++ "_" ++ y) (assert… function 114 … mkTest (x, y, t) = testCase ("genBoolTest.arithmetic-" ++ nm ++ "." ++ x ++ "_" ++ y) (assert t) function 146 where mkTest (x, t) = testCase ("genUnTest.arithmetic-" ++ nm ++ "." ++ x) (assert t) function 166 …mkTest (l, x, y, t) = testCase ("genIntTest.arithmetic-" ++ nm ++ "." ++ l ++ "_" ++ x ++ "_" ++ y… function 219 mkTest (x, y, l, t) = testCase ("genShiftMixSize." ++ l ++ "." ++ x ++ "_" ++ y) (assert t) function 245 where mkTest (x, t) = testCase ("genBlasts.blast-" ++ show x) (assert t) function 267 where mkTest (x, t) = testCase ("genCounts.count-" ++ show x) (assert t) function 276 where mkTest (x, t) = testCase ("sIntCast-" ++ x) (assert t) function 303 …where mkTest (nm, x, y, t) = testCase ("genReals.arithmetic-" ++ nm ++ "." ++ x ++ "_" ++ y) (asse… function 534 … mkTest (nm, x, y, t) = testCase ("genQRems.arithmetic-" ++ nm ++ "." ++ x ++ "_" ++ y) (assert t) function [all …]
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/fsnotify-0.3.0.1/test/ |
H A D | Test.hs | 105 mkTest title evs prepare action nested recursive poll = do function
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/fsnotify-0.3.0.1/test/ |
H A D | Test.hs | 105 mkTest title evs prepare action nested recursive poll = do function
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/fsnotify-0.3.0.1/test/ |
H A D | Test.hs | 105 mkTest title evs prepare action nested recursive poll = do function
|
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/fsnotify-0.3.0.1/test/ |
H A D | Test.hs | 105 mkTest title evs prepare action nested recursive poll = do function
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/fsnotify-0.3.0.1/test/ |
H A D | Test.hs | 105 mkTest title evs prepare action nested recursive poll = do function
|
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/test/ |
H A D | Utils.hs | 73 :: Foldable t 83 mkTest name fp line col ts = it name $ do function
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/test/ |
H A D | Utils.hs | 73 :: Foldable t 83 mkTest name fp line col ts = it name $ do function
|
/dports/math/rapid/RAPID_v2_01/ |
H A D | overlap.C | 56 if (b > t) t = b; 75 double *q1, double *q2, double *q3)
|
/dports/security/py-python3-openid/python3-openid-3.2.0/openid/test/ |
H A D | test_xri.py | 55 def mkTest(providerID, canonicalID, isAuthoritative): member in CanonicalIDTest 75 def mkTest(the_xri, expected_root): member in TestGetRootAuthority
|
H A D | test_association_response.py | 126 def mkTest(requested_session_type, response_session_type, openid1=False): member in ExtractAssociationSessionTypeMismatch 173 def mkTest(expected_session_type, session_type_value): member in TestOpenID1AssociationResponseSessionType
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/th-expand-syns-0.4.8.0/testing/ |
H A D | Util.hs | 9 mkTest input expected = function
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/th-expand-syns-0.4.8.0/testing/ |
H A D | Util.hs | 9 mkTest input expected = function
|
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/regex-tdfa-1.3.1.0/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/regex-tdfa-1.3.1.0/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/regex-tdfa-1.3.1.1/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/regex-tdfa-1.3.1.0/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/regex-tdfa-1.3.1.0/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/regex-tdfa-1.3.1.0/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/regex-tdfa-1.3.1.1/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|
/dports/security/py-python-openid/python-openid-2.2.5/openid/test/ |
H A D | test_association_response.py | 119 def mkTest(requested_session_type, response_session_type, openid1=False): member in ExtractAssociationSessionTypeMismatch 172 def mkTest(expected_session_type, session_type_value): member in TestOpenID1AssociationResponseSessionType
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/regex-tdfa-1.3.1.1/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/regex-tdfa-1.3.1.0/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/regex-tdfa-1.3.1.1/lib/Text/Regex/TDFA/NewDFA/ |
H A D | Engine_NC.hs | 174 mkTest isMultiline = if isMultiline then test_multiline else test_singleline function
|