.rvm files and .aj are not generated

[yyzqll]

I run javamop,a error as fellow:
java.lang.ClassNotFoundException:com.runtimeverification.rvmonitor.core.parser.RVParser

[kennyballou]

How are you running javamop? Is rv-monitor.jar and rv-monitor-rt.jar in your CLASSPATH?

I've been running javamop with success like so: CLASSPATH=lib/rv-monitor.jar:lib/rv-monitor-rt.jar javamop ${mop-file} where I have a lib in the current working directory.