Undergrad Runtime Monitoring

[shaun...@gmail.com]

I'm curious as to what mechanisms other people have actually had
success with? I'm attempting to use jmlrac that's built-in to the
Eclipse plug-in... not sure if it's because I'm on a mac (and
subsequently different eclipse layout), but a preference pane doesn't
even seem to exist for ESC/Java2 (I've looked for over 2 hours and
poured through documentation, which claims its existence).

In any event, have people just resorted to JUnit assertions or is
there a better way to achieve the runtime monitoring?

Thanks for any input.

Shaun

[David Rager]

Andrey Petrov installed jmlc and jmlrac to the UTCS network.  You are correct that you should be using jmlc to compile the jml-assertion version of the java files and then run your main with jmlrac.  The tools are installed in:

 /v/filer4b/v23q001/apetrov/jml