JPF nebude letos na cvičeních probíráno. Tato stránka je zde zachována jako podklady pro vaše případné další studium. ====== Java Path Finder ====== * http://babelfish.arc.nasa.gov/trac/jpf/ * {{:courses:a4m33tvs:cviceni:jpf:jpf-howto.pdf|JPF Howto}} * {{:courses:a4m33tvs:cviceni:jpf:jpf-examples.zip|Ukázky}} * {{:courses:a4m33tvs:cviceni:jpf:jpf-zadani.pdf|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 ===== Potíže s prázdným testem ===== **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).