sp1、sp2、next分支新引入python-mitmproxy包，需要同步升级python-hypothesis

特性变化:
改进了django extra的类型提示和文档 。 
改进了对typing 模块SupportsOp 协议的支持，from_type()如问题 #2292 中所述。当使用 调用时，以下类型现在会生成更多不同的策略from_type()：typing.SupportsAbs typing.SupportsBytes typing.SupportsComplex typing.SupportsInt     typing.SupportsFloat  typing.SupportsRound
改进了针对基于属性的测试的优化算法。
改进了 Hypothesis 对其在运行之间跟踪的测试用例集的管理
增加了对基于属性的目标测试的数据库支持，因此基于目标的最佳示例将被保存并在运行之间重复使用。
增加了对sortedcontainers包的依赖。
改进了针对基于属性的测试的优化算法
改进了 Hypothesis 的“伪造示例”输出，方法是在必要时将输出分成多行，并从有状态测试输出中删除不相关的信息。
弃用并禁用了该buffer_size设置，该设置一直应被视为私有实现细节。我们建议简单地删除此设置参数。
此版本取消了 的弃用find，因为我们现在已经在 之上重建了它 @given，这意味着它的维护负担最小，我们很乐意支持它。
当无效参数传递给rule()or时，此补丁改进了错误消息invariant() （问题 #2149）。
这个补丁重构了width处理floats()；您可能会注意到小的性能改进，但主要目的是启用问题 #1704（改进有界浮点数的收缩）的工作。
新 的基于目标属性的测试 功能的用户很可能会看到数据生成方面的改进，因为此版本将基于目标属性的测试的搜索算法更改为比现有方法更有效率的搜索算法。
此版本进行了一些小的内部更改，以支持改进假设测试套件。它不应该对用户产生任何可见的影响。
此补丁改进了来自无效大小参数的消息传递到诸如lists().
此版本改进了from_lark()策略，加强了参数验证并添加了explicit参数以允许与使用@declare字符串或正则表达式的终端一起使用。
此版本改进了domains() 策略，以及使用它urls()的emails()策略。这些策略现在使用完整的 IANA 顶级域列表，并且按照RFC 1035。
text() 当传递一个alphabet不是策略的策略时，此补丁改进了策略的行为。该值现在解释为whitelist_characters以characters() 代替用于序列sampled_from()，其标准化了的实施例中的分布和收缩行为。
此补丁改进了 Python 3.8 beta1 上内部包装器的实现（并且会在 alpha 上中断；但它们并不意味着稳定）。在其他版本上，根本没有变化。
此版本改进的array_shapes() 策略，选择适当的默认max_side基础上 min_side，并max_dims根据上min_dims。对于 Numpy 不支持的大于 32 的维度，对于其他无效的参数组合，会引发显式错误。
此补丁将先前的效率改进用于 sampled_from(...).filter(...) 拒绝大多数元素的策略，并将它们概括为也适用于 sampled_from(...).filter(...).filter(...)更长的过滤器链。
此版本对 Hypothesis 缓存测试用例的方式进行了微优化。对于大型测试用例，这将导致速度和内存使用量的小幅改进，但在大多数常见场景中，它不太可能引起注意。
此版本删除了一些填充不再在任何地方使用的字段的内部代码。这应该会导致一些适度的性能和速度改进，并且没有其他用户可见的效果。
此版本改进了 Hypothesis 以检测不稳定的测试，通过注意测试的行为在运行之间何时发生变化。特别是这将注意到许多新情况，其中数据生成取决于外部状态（例如，随机性的外部来源）并更快更可靠地将这些标记为片状。
这个补丁从arrays() 一个恒定的形状和 dtype 中删除了一些开销。由此产生的性能改进是适度的，但对于小型阵列来说是值得的。
此版本对hypothesis.extra.lark.from_lark(). 这些主要用于重构，但您可能会在生成大字符串时看到性能的一些细微改进，并可能降低质量。
此版本随机化了收缩器尝试其一些初始规范化操作的顺序。除非您生成的示例非常大，否则您不太可能看到太大的差异。在这种情况下，您可能会看到收缩时的一些性能改进。
此版本改进了有关Hypothesis内部表示中的测试用例何时可以导致有效测试用例的一些内部逻辑。在某些情况下，这可能会导致收缩过程中的显着加速。由于某些收缩通道现在在某些情况下可以访问较少的有关测试用例的信息，因此它可能会对最终结果的质量产生一些轻微的负面影响，但这应该很少有影响。
此版本对收缩器的工作方式进行了小幅更改。您可能会在特别大且难以缩小的示例上看到缩小速度的一些改进，但大多数用户不太可能看到太大的差异。
此补丁改进了一些内部缓存的测试。它应该没有用户可见的效果。
此版本改进了状态测试的参数验证。
此版本改进了 Hypothesis 处理减少整数表示大小的方式。这种变化应该大部分是不可见的，因为它纯粹是关于底层表示而不是生成的值，但它可能会导致收缩性能的一些改进。
此版本更改了 Hypothesis 选择要缩小的测试用例部分的顺序。对于典型用法，这应该是大型示例的显着性能改进。它不太可能对示例质量产生重大影响，但如果它确实改变了结果，它通常应该是一种改进。
此版本改进了收缩器发出的关于它执行的操作的调试信息，提供关于哪些传递导致测试执行以及它们是否成功的更好的汇总统计信息。
此版本进行了一些内部更改，以进一步改进收缩器。您可能会在最终缩小的示例中看到一些变化，但它们不太可能是显着的。
影响：需要sortedcontainers包同步升级，代码优化，对用户无影响。
sortedcontainers升级pr：https://gitee.com/src-openeuler/python-sortedcontainers/pulls/6

配置文件：
无配置文件，无影响

ABI差异：
删除了不再提供太多好处的内部启发式方法。不太可能有任何用户可见的效果。
删除了我们不再需要的内部兼容性垫片。
删除了我们的 Numpy extra 中的一些旧的调试助手，这些助手自issue #1963和issue #2245以来就不再需要了。
从内部删除了一些不必要的代码。没有用户可见的变化。
从核心引擎中删除了一些未使用的代码。没有用户可见的变化。
删除了一个未使用的内部标志。没有用户可见的变化。
print_blob通过删除将其设置为 的选项来简化设置的逻辑PrintSettings.INFER。因此，该print_blob设置现在采用单个布尔值，并且PrintSettings不推荐使用 。
删除了一些仅用于测试的已失效的内部功能。它应该没有用户可见的影响。
删除了一些不再需要但仍在热路径上运行大量计算和分配的冗余代码。这应该会为大多数测试带来适度的速度提升，尤其是那些具有大型测试用例的测试。
删除了一些填充不再在任何地方使用的字段的内部代码。这应该会导致一些适度的性能和速度改进，并且没有其他用户可见的效果。
从arrays() 一个恒定的形状和 dtype 中删除了一些开销。由此产生的性能改进是适度的，但对于小型阵列来说是值得的。
这个补丁删除了一些未使用的代码，这使得内部更容易理解。没有用户可见的影响。
删除了 Hypothesis 在该过程中运行较晚的两个收缩传递。当测试功能很慢并且通常没有做任何有用的事情时，这些是非常昂贵的。
这里没有新功能，因为我们在次要版本中发布了这些功能。相反，4.0 是我们删除不推荐使用的功能（许多已转换为无操作）并将各种警告转化为错误的机会。
hypothesis.extra.datetime 已被删除，取而代之的是核心日期和时间策略。
hypothesis.extra.fakefactory 已被删除，取而代之的是对 Hypothesis 策略和第三方生态系统的普遍扩展。
SQLite 示例数据库后端已被删除。
该database_file设置已被删除；使用database.
该perform_health_check设置已被删除；使用 suppress_health_check.
该max_shrinks设置已被删除；用于phases 禁用收缩。
该average_size参数是空操作，已被删除。
该choices()策略已被删除。相反，您可以使用 data()with sampled_from()，因此choice(elements)变为data.draw(sampled_from(elements))。
该streaming()策略已被删除。相反，您可以使用 调用来data()替换流上的迭代 data.draw()。
这是一个仅限文档的补丁，它修复了一些拼写错误并删除了一些不推荐使用的功能的超链接。
此版本更改了收缩器尝试删除数据的顺序。对于大型和缓慢的测试，这可能会显着提高收缩的性能。
介绍hypothesis.stateful.consumes()功能。在有状态测试中定义规则时，它可用于标记应从哪些值中使用的包，即在规则中使用后将其删除。这已在issue #136 中提出。
该HYPOTHESIS_DATABASE_FILE环境变量不再支持，因为database_file设置已被移除。
将HYPOTHESIS_VERBOSITY_LEVEL不再支持环境变量。您可以改用--hypothesis-verbositypytest 参数，或者使用设置配置文件系统编写自己的设置代码来替换它。
影响：
在sp1分支验证升级后对上层依赖的编译、安装，未造成影响，影响可控。

命令行/功能：
未提供命令行，无影响

SPEC文件：
SPEC文件中Source变更，无影响

src-openEuler/python-hypothesis

内容风险标识

评论 (2)

src-openEuler/python-hypothesis .gitee-modal { width: 500px !important; }

内容风险标识