anywhere i can get OCL2Kodkod, or any references about how to use this plug-in?
currently we are reorganizing and extending the model validator (with respect to fundamental features and especially its usability). We will immediately inform you when a final version is available.
any update on this?
yes, the model validator is currently in beta status and will be released in December this year.
Have you released the model validator yet?
the Model Validator plugin has now been released.
Finally, I have been waiting for this for more than a year now :) Glad to see that it is available. I run the new version 3.0.4 and could not figure out how to use the validator. Are there any guidelines on how to use it?
yes, we have added a readme file to the Model Validator with further information.
The Model Validator requires USE version 3.0.5. Furthermore, the ModelValidator_fat.jar must be copied into the lib/plugins directory of USE. Then it is automatically activated and can be used via the USE shell command 'kodkod'. (The command 'plugins' shows all available Model Validator commands and parameters.)
Thanks for the support. I downloaded USE version 3.0.5 but I could not figure out how to get the ModelValidator_fat.jar. Thanks a lot.
Thanks a lot Mirco.
Is there any documentation about the use of the Validator other than the one in German?
I appreciate any help on this since my research is base on the use fo the model validator.
Thank you for your sopport.
please find attached an English version of the usage introductions for the ModelValidator.
Thanks a lot Lars. I would appreciate if you can update me with any coming improvements of the tool.
All the best,
Log in to post a comment.