Searched refs:specConstrThreshold (Results 1 – 5 of 5) sorted by relevance
498 specConstrThreshold :: Maybe Int, -- ^ Threshold for SpecConstr function1302 specConstrThreshold = Just 2000, function2967 (intSuffix (\n d -> d { specConstrThreshold = Just n }))2969 (noArg (\d -> d { specConstrThreshold = Nothing }))
488 specConstrThreshold :: Maybe Int, -- ^ Threshold for SpecConstr function1142 specConstrThreshold = Just 2000, function2714 (intSuffix (\n d -> d { specConstrThreshold = Just n }))2716 (noArg (\d -> d { specConstrThreshold = Nothing }))
1016 specConstrThreshold :: Maybe Int, -- ^ Threshold for SpecConstr function1968 specConstrThreshold = Just 2000, function3659 (intSuffix (\n d -> d { specConstrThreshold = Just n }))3661 (noArg (\d -> d { specConstrThreshold = Nothing }))
1015 specConstrThreshold :: Maybe Int, -- ^ Threshold for SpecConstr function1967 specConstrThreshold = Just 2000, function3658 (intSuffix (\n d -> d { specConstrThreshold = Just n }))3660 (noArg (\d -> d { specConstrThreshold = Nothing }))
867 sc_size = specConstrThreshold dflags,