Re: [Javapathfinder-devel] I found a bug in extension/symbc

[Corina P. <Cor...@na...>]

Taehoon Lee wrote:
> Hi,
> I found a bug in extension/symbc.
>
> 1. The extension create the object of the class SymbolicInstructionFactory.
> 2. the constructor of the class SymbolicInstructionFactory invoke the
> constructor of the class GenericInstructionFactory.
> 3. the constructor of the class genericInstructionFactory invoke the
> createMaps().
> 4. loader.loadClass() is invoked. loader is defined in the Class
> DefaultInstructionFactory.
> 5. At this time, The loader is not initiallized.
>
>
>   
You should use:

+vm.insn.factory.class and
+vm.peer.packages

in the JPF config.

I updated the Readme file.

Thanks,

-- 
Corina Pasareanu, PhD
CMU/NASA Ames
http://ti.arc.nasa.gov/profile/pcorina/