/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
H A D | charConstr00.gold | 30 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",'B' :: Char)], …
|
H A D | query_uiSat_test1.gold | 34 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [], modelUIFuns = [("…
|
H A D | charConstr01.gold | 38 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [], modelUIFuns = [("…
|
H A D | sumLiftMaybe.gold | 36 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("i",0 :: Integer)],…
|
H A D | charConstr04.gold | 36 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",Left 2 :: Eithe…
|
H A D | charConstr05.gold | 36 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",Right 2 :: Eith…
|
H A D | sumMergeMaybe1.gold | 42 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("s0",Nothing :: May…
|
H A D | sumMergeMaybe2.gold | 42 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("s0",Just 2 :: Mayb…
|
H A D | charConstr03.gold | 38 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",Left 'B' :: Eit…
|
H A D | charConstr07.gold | 39 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",Just 'B' :: May…
|
H A D | sumEitherSat.gold | 40 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",Right False :: …
|
H A D | charConstr09.gold | 37 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",[(('A','A'),[0]…
|
H A D | sumMergeEither1.gold | 42 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("s0",Left 2 :: Eith…
|
H A D | sumMaybeBoth.gold | 44 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("s0",Left 2 :: Eith…
|
H A D | sumMergeEither2.gold | 42 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("s0",Right False ::…
|
H A D | charConstr08.gold | 49 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",U - {'B'} :: {C…
|
H A D | sumLiftEither.gold | 44 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("i",0 :: Integer),(…
|
H A D | charConstr02.gold | 48 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [], modelUIFuns = [("…
|
H A D | charConstr06.gold | 38 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",Left 'B' :: Eit…
|
H A D | query_uiSat_test2.gold | 44 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [], modelUIFuns = [("…
|
H A D | charConstr10.gold | 44 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",[(('B','B'),[0]…
|
H A D | sumBimapPlus.gold | 49 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",Left 0 :: Eithe…
|
H A D | charConstr11.gold | 51 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",2 :: Integer),(…
|
H A D | sumMaybe.gold | 55 MODEL: SMTModel {modelObjectives = [], modelBindings = Nothing, modelAssocs = [("x",Just 0 :: Maybe…
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/ |
H A D | SMT.hs | 465 getModelDictionary (Satisfiable _ m) = M.fromList (modelAssocs m) 466 getModelDictionary (DeltaSat _ _ m) = M.fromList (modelAssocs m) 487 parseModelOut m = case parseCVs [c | (_, c) <- modelAssocs m] of 534 …ncs = showModelDictionary (null uiFuncs) False cfg [(n, RegularCV c) | (n, c) <- modelAssocs model]
|