Initial import
[jpf-core.git] / src / tests / gov / nasa / jpf / configTestApp.jpf
src/tests/gov/nasa/jpf/configTestApp.jpf