/symbc_z3_fp_mnwe

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

Primary LanguageJava

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