Home
last modified time | relevance | path

Searched defs:goldenVsStringShow (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/
H A DSquashReals.hs24 …, goldenVsStringShow "squashReals3" $ satWith z3{printRealPrec = 35} (\x -> x .>= 0 .&& x*x .== (5… function
25 …, goldenVsStringShow "squashReals4" $ satWith z3{printRealPrec = 35} (\x -> x .>= 0 .&& x*x .== (1… function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/Utils/
H A DSBVTestFramework.hs112 goldenVsStringShow n res = goldenVsString n (goldFile n) (fmap (LBC.pack . show) res) function