- 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/
itnef/symbc_z3_fp_mnwe
Minimum non-working example for jpf-symbc using z3 (any version) / fp (floating-point arithmetic verification)
Java