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