[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