David Cok
-
2013-10-27
- Module: --> OpenJML
It occurred to me in class today that it might be very useful to have ESC flag with a happy looking green info marker "these are the methods I proved correct on the last run". Otherwise, I often have trouble knowing immediately whether it ran and didn't find any problems or ran and failed, and I suspect the students would have similar issues.
-Dan