【文件属性】：
文件名称：jconstraints-cw:用于Concolic Walk算法的jConstraints抽象层
文件大小：34KB
文件格式：ZIP
更新时间：2021-04-30 23:09:11
Java
jConstraints-cw
jConstraints中Concolic Walk算法的实现。 该算法在Peter Dinges和Gul Algha的描述。
安装
首先，安装 。 然后，将mvn install在jconstraints-cw文件夹的根目录中。
要启用求解器，请放入您的jpf文件
#!txt
symbolic.dp=cwsolver
配置
以下是Concolic Walk解算器的jpf配置及其默认值：
#!txt
concolic_walk.linear_solver=z3
concolic_walk.iterations_per_constraint=150
concolic_walk.neighbors_generated_per_iteration=10
concolic_walk.tabu_iterations_per_variable=0.5f
conco
【文件预览】：
jconstraints-cw-master
----src()
--------main()
--------test()
----LICENSE(11KB)
----pom.xml(2KB)
----README.md(4KB)