Search
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).