[Javapathfinder-user] Getting started with JPF4

[Markeloff, R. <Ric...@sp...>]

I successfully installed the svn client, retrieved the files from the
repository, and created an Eclipse project. However, I've encountered
the following problems:

=20

1) Numerous build errors in examples/issta2006 and
test/gov/nasa/jpf/peterd_tests. I just deleted these packages from the
project.

=20

2) When I attempt to run the Deadlock example, I get the following:

=20

JPF configuration error: class not found
gov.nasa.jpf.filter.FilteringSerializer

> used within "vm.class" instantiation of class gov.nasa.jpf.jvm.JVM

=20

I don't see any gov.nasa.jpf.filter package in the distribution. Where
could it be?

=20

Thanks,

=20

Rich Markeloff

=20