latest jpf-symbc fails inbuilt tests?

[Ian Peake]

With the latest jpf-core/jpf-symbc I get the following; can anyone
reproduce?

Ian

--

~/src/jpf/jpf-symbc$ bin/ant test
Buildfile: /media/sda1/home/ipeake/src/jpf/jpf-symbc/build.xml
....
test:
[junit] Running gov.nasa.jpf.symbc.Test
[junit] Testsuite: gov.nasa.jpf.symbc.Test
[junit] Tests run: 1, Failures: 0, Errors: 1, Time elapsed: 0.018
sec
[junit] Tests run: 1, Failures: 0, Errors: 1, Time elapsed: 0.018
sec
[junit]
[junit] Testcase: initializationError took 0.002 sec
[junit] Caused an ERROR
[junit] No runnable methods
[junit] java.lang.Exception: No runnable methods
[junit] at
java.lang.reflect.Constructor.newInstance(Constructor.java:513)
[junit]

BUILD FAILED
/media/sda1/home/ipeake/src/jpf/jpf-symbc/build.xml:230: Test
gov.nasa.jpf.symbc.Test failed

Total time: 1 second

~/src/jpf/jpf-symbc$ hg summary
parent: 143:baab23ffa739 tip
(no commit message)
branch: default
commit: (clean)
update: (current)

[Pablo Ponzio]

Hello,

I have the same problem, and when I try to run the provided symbolic
execution examples (java -jar RunJPF.jar /path/filename.jpf) I get
many runtime exceptions as a result. My jpf-core module is working
perfectly, so I guess that is not the problem. Any tips on how to
build the jpf-symbc module?

Thanks in advance.
Pablo.

[Corina Pasareanu]

Hi guys:
I've recently started cleaning the code for Symbolic PathFinder.
Could you please get the latest version and tell me if you still get the errors?
Thank you,
Corina

[Pablo Ponzio]

Unfortunately, I get the same error with the lastest version.

--
pablo@phoenix:~/soft/jpf-symb/jpf-symbc$ hg summary
parent: 156:629c307f45e2 tip
updating the jar files

branch: default
commit: (clean)
update: (current)

pablo@phoenix:~/soft/jpf-symb/jpf-symbc$ ./bin/ant test
Buildfile: /home/pablo/soft/jpf-symb/jpf-symbc/build.xml

...
test:
[junit] Running gov.nasa.jpf.symbc.Test
[junit] Testsuite: gov.nasa.jpf.symbc.Test

[junit] Tests run: 1, Failures: 0, Errors: 1, Time elapsed: 0.025
sec
[junit] Tests run: 1, Failures: 0, Errors: 1, Time elapsed: 0.025
sec
[junit]
[junit] Testcase: initializationError took 0.003 sec

[junit] Caused an ERROR
[junit] No runnable methods
[junit] java.lang.Exception: No runnable methods
[junit] at
java.lang.reflect.Constructor.newInstance(Constructor.java:513)
[junit]

BUILD FAILED

/home/pablo/soft/jpf-symb/jpf-symbc/build.xml:230: Test
gov.nasa.jpf.symbc.Test failed

[Pablo Ponzio]

On Sep 6, 11:08 am, Pablo Ponzio <paul...@gmail.com> wrote:
> Unfortunately, I get the same error with the lastest version.

I also have the lastest core version:

pablo@phoenix:~/soft/jpf-symb/jpf-core$ hg summary
parent: 238:7cd0c09fbce1 tip
MONITOREXIT.execute() can't use isShared() to prevent a choice point.

[Corina Pasareanu]

Hi:
The tests are not yet working.
Neha is woking on porting some of them (from the old repository on sourceforge).
Thnaks,
Corina

[Pablo Ponzio]

Hi,

this time I could successfully run some of the examples anyways.

Thank you very much,
Pablo.

[Corina Pasareanu]

yeah -- we are working on it.
hopefully all the examples that use to run on the sourceforge version will run on the new version as well.

thanks for pointing out the problems.

corina