风暴:用于检测SMT求解器中关键错误的黑盒突变模糊器 源码

安装: git clone https://github.com/Practical-Formal-Methods/storm virtualenv --python=/usr/bin/python3.7 venv source venv/bin/activate cd storm python setup.py install 用法: storm --benchmark=[PATH TO SEED FILES] --solverbin=[PATH TO SOLVER BIN] --solver=[SOLVER NAME] 要在特定理论上测试求解器,请使用--theory标志。 例如: