Hacker News· caotic123·· 2 小时前AI 评分36
PyMagic：用 Python 库和 DSL 编写形式化模型的轻量方案
A tiny Python library/DSL to construct Python formal models
AI 导读
PyMagic 是一个用 Python 自然编写形式化规格与模型的库，通过 @model 装饰器和 magic() 占位符把副作用抽象为可约束的取值，约束在具体测试时转为断言。
来源：Hacker News · github.com