Hello,
I'm using eclipse with Cofoja.
I've succesfully configured a sample application with Cofoja.
Then, I've tried to add some contracts to a project of mine with JaxB-generated classes + annotations.
When I follow the configuration instructions, I succeed to get interactive diagnostics about contracts (unknown symbol,...).
BUT, I do not see any .contract file generated, nor any execution of any contract at run-time.
Can someone give me hints about how to search, or how to get feedback from the contract generation processor ?
Thank you very much,
Best regards,
Paul G. Crismer