Slashdot Mirror

← Back to Users

User: atwood

atwood's activity in the archive.

Stories
0
Comments
1
First seen
Last seen
Profile
(view on slashdot.org)

Comments · 1

  1. Re:This isn't possible is it? on NASA Goes SourceForge · · Score: 1
    Tried JPF on a simple program;

    I get: Exception: gov.nasa.jpf.JPFException: Class.newInstance() not yet supported

    They include about 16 examples with the dist, but has anyone other than the authors used this?