.rvm files and .aj are not generated

runtimeverification / javamop

Runtime verification system for Java, using AspectJ for instrumentation.

http://fsl.cs.illinois.edu/javamop

MIT License

45 stars 37 forks source link

.rvm files and .aj are not generated #247

Open yyzqll opened 7 years ago

yyzqll commented 7 years ago

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

kennyballou commented 4 years ago

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.