Java Path Finder

• http://babelfish.arc.nasa.gov/trac/jpf/
• JPF Howto
• Ukázky
• Zadání úlohy
• Výchozí instalační balíčky

• https://cw.felk.cvut.cz/courses/a4m33tvs/JPF/jpf-core.zip

• https://cw.felk.cvut.cz/courses/a4m33tvs/JPF/jpf-symbc.zip

Příznaky:

public class Test {

	private  ;

	@Before
	public void setUp() throws Exception {
		 = new ();
	}
}

Řešení:

Eclipse a Netbeans umisťují jinam zkompilované soubory. Eclipse do bin/, Netbeans do build/classes/. Pokud se vám vyrábí prázdný test, opravte si cestu k těmto souborům v *.jpf:

classpath=build/classes/,bin/,${classpath}

Pak se ještě ujistěte, že máte v Properties projektu zapnuté “Generate Debug Info” (v Build/Compiling).