Empty generation but classes are present
I'm trying to generate the JML for the project named mgilProject which contains 4 java clases and ?im getting this answer:
{"jmlgen":"Successful without JML generation (no java package, or flat tree)"}
This Gitlab instance will be unavailable from Saturday 18th of May at 17:00 PM to Sunday 19th of May at 10:00 AM.
We are progressively migrating our services onto a new virtual machine, and as Gitlab is one of our most important service, we will proceed with care, hence the extended unavailability.
All gitlab webpages ( *.ow2.io ) will also be unavailable, gitlab-runners as well.
Thanks for your understanding.
I'm trying to generate the JML for the project named mgilProject which contains 4 java clases and ?im getting this answer:
{"jmlgen":"Successful without JML generation (no java package, or flat tree)"}