JDart 环境搭建

Related Links

1. https://github.com/psycopaths/jdart
2. https://github.com/javapathfinder/jpf-core/wiki
3. How to generate JUnit test cases and Coverage report from JDart

Project Structure

jar 包：

1. jpf-core
2. jconstraints
3. com.microsoft.z3.jar
4. jconstraints-z3 (依赖2和3)
5. jdart (extensions 为3和4)