[Javapathfinder-user] JPF+RMI

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

Hello,

thanks for Peter's fix. I'm experimenting with JPF launched together with JUnit. 
The purpose of my work is to run JPF on a JUnit test. I would like to use 
JUnit's RunListener and also JPF's listeners to be informed what's currenly 
being done. I've successfully tested JPF's SearchListener. Now I'm testing 
JUnit's listener and looking for a way of how to receive information from that 
listener in an external program (for example in the program which invokes JPF.run).

My first idea was to use RMI - after the JUnit listener is called it calls RMI 
server. Without JPF it works perfectly. Unfortunately when I run JPF on JUnit 
with such listener it ends with the following error:

java.lang.UnsatisfiedLinkError: java.net.InetAddress.init()V (no peer)
         at java.net.InetAddress.<clinit>(InetAddress.java:216)
         at sun.rmi.transport.tcp.TCPEndpoint.<clinit>(TCPEndpoint.java:95)
         at java.rmi.registry.LocateRegistry.getRegistry(LocateRegistry.java:158)
         at java.rmi.registry.LocateRegistry.getRegistry(LocateRegistry.java:106)
         at java.rmi.Naming.getRegistry(Naming.java:204)
         at java.rmi.Naming.lookup(Naming.java:80)
         at cz.kebrt.jpf.JUnitListener.<init>(JUnitListener.java:22)
         at org.junit.runner.JUnitCore.runMainAndExit(JUnitCore.java:57)
         at org.junit.runner.JUnitCore.main(JUnitCore.java:48)

I'm not sure whether all information on JPF web are uptodate but there's 
information about missing support for java.net. If it's true that would be the 
cause of my problem.

What kind of IPC between JUnit listener and other program would you recommend? 
Files?

Thanks.

Michal Kebrt