search

kiniry / Mobius

4 stars 8 forks source link

generating specs sometimes silently fails #630

Open atiti opened 11 years ago

atiti commented 11 years ago

I have attempted to generate a BON specification from a relatively large project and nothing happens (i.e., it is some kind of silent failure). There is no information in the console.

atiti commented 11 years ago

From: fintan (GH: fintanf) Date: Mon Nov 16 14:59:39 2009

Can you point me to the project that you did this on so I can try and recreate?

atiti commented 11 years ago

From: kiniry (GH: kiniry) Date: Mon Nov 16 15:24:04 2009

I tried it on the OpenJDK and OpenJML projects.

http://jmlspecs.svn.sourceforge.net/viewvc/jmlspecs/OpenJML/trunk/