Re: [Javapathfinder-devel] (no subject)

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

hi
they should be compatible.
we just submitted a new version and there were a few glitches
corina

On 09/03/2013 01:10 PM, Anwesha Das wrote:
> Hi,
>
>     I am using the jpf-core along with jpf-symbc. I need to modify the
> source code of jpf-symbc. I am unable to compile jpf-symbc because of
> missing packages certain import statements do not work. I have used the
> mercurial links available for download for both jpf-core and jpf-symbc(
> http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc). Can anyone
> please help me fix the issue of jpf-symbc compilation? If jpf-core and
> jpf-symbc are incompatible, how do I know the compatible version of
> jpf-core for the available jpf-symbc?
>
> Any immediate help would be really helpful.
>
> Thanks and Regards,
> Anwesha
> ------------------------------------------------------------------------------
> Learn the latest--Visual Studio 2012, SharePoint 2013, SQL 2012, more!
> Discover the easy way to master current and previous Microsoft technologies
> and advance your career. Get an incredible 1,500+ hours of step-by-step
> tutorial videos with LearnDevNow. Subscribe today and save!
> http://pubads.g.doubleclick.net/gampad/clk?id=58040911&iu=/4140/ostg.clktrk
> _______________________________________________
> Javapathfinder-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel


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