visualjpf-user — General Discussion of VJP

Re: [Visualjpf-user] JPF is not launched

[Sandro B. <s.b...@gm...>]

Hi Michal,
    Sorry for not responding a while back when I should have.
    Can you give me some details on which operating system you are
using? What does the .jpf file contain? And does the console view
display anything?

Sorry for the troubles,
    --Sandro Badame

[Visualjpf-user] JPF is not launched

[Michal K. <mic...@gm...>]

Hi,

I would like to try Visual JPF plugin but it doesn't run JPF. If I click either 
Run Verify or Step Verify nothing happens. I only see empty JPF Output view.

I'm testing on a simple program:
public class Simple {	
   public static void main(String[] args)  {
     boolean x = Verify.getBoolean();
     //assertEquals( 4, 4 );
   }
}

Using Eclipse:
Version: 3.3.1.1
Build id: M20071023-1652

Thanks.

Michal Kebrt