itnef / symbc_z3_fp_mnwe

Minimum non-working example for jpf-symbc using z3 (any version) / fp (floating-point arithmetic verification)

• 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/