文件名称：风暴：用于检测SMT求解器中关键错误的黑盒突变模糊器
文件大小：489KB
文件格式：ZIP
更新时间：2024-02-27 05:04:32
testing fuzzing smt TestingSMT
安装： 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标志。 例如：