Building issues #3
Unanswered
CopperEagle
asked this question in
Q&A
Replies: 1 comment 9 replies
-
|
You can use the regular Gradle targets, e.g., The functionalities are rather in an unfinished state. For example you mentioned Currently, we are migrating JJBMC from openjml to jmlparser, which also implements a jml2java conversion feature, but designed for bounded model checker (e.g., use of nondet. variables). /cc @JonasKlamroth |
Beta Was this translation helpful? Give feedback.
9 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
Hey there @wadoon
Thanks for the repository. For my project, I need to translate jml to java code (into assertions). Unfortunately there is no documentation. I wanted to ask you
How do I build this into a jar usable from Java?
How can I use your jml2java module from Java?
I tried
but I end up getting a few-byte jar file both with and without init. Also, the Github action build keeps failing too so that's not helping either.
Any help is appreciated
Beta Was this translation helpful? Give feedback.
All reactions