I use Cofoja in an OOAD course that I teach at SUNY Buffalo. Last year I installed Cofoja on Eclipse (Neon) IDE for Java Developers, and it worked fine.
This year I am using Eclipse Photon and Java 8. Today I installed the Java 8 version (cofoja+asm) posted at
Installation went fine, and there were no errors with any of the contracts, but the contracts are not being checked at run-time.
There was an earlier posting entitled "Preconditions are never executed". In my case, neither preconditions nor postconditions are being executed. I did not see any reply or follow up to that posting.
Any suggestions would be appreciated, as I would like to continue using Cofoja for my classes.
Thank you.
Bharat