- launch/ contains the launch configuration
- JPF project folders should be at ../jpf-core, ../jpf-symbc
- hamcrest-core and junit-4.12 jars should be placed in lib/
Minimum non-working example for jpf-symbc using z3 (any version) / fp (floating-point arithmetic verification)
Minimum non-working example for jpf-symbc using z3 (any version) / fp (floating-point arithmetic verification)