https://bz.apache.org/bugzilla/show_bug.cgi?id=58321
--- Comment #11 from Yilong Li <yilong...@runtimeverification.com> --- (In reply to Yilong Li from comment #10) > (In reply to Mark Thomas from comment #9) > > I'm trying to reproduce these results. Could you share how you configured > > the tests to run with RV-Predict. > > The general instructions to run RV-Predict as a Java agent can be found > here: > https://runtimeverification.com/predict/1.6/docs/quickstart/#as-an-agent. > > In short, to run RV-Predict against Tomcat's test suite, I add the following > lines to the JUnit configuration in build.xml: > > <jvmarg value="-Xbootclasspath/a:<rvpath>/lib/rv-predict.jar" /> > <jvmarg value="-javaagent:<rvpath>/lib/rv-predict.jar=--stacks" /> > <jvmarg value="-XX:hashCode=1"/> > > where <rvpath> is the installation path of RV-Predict. > > If you are on Linux/OSX machine, you also have to do `source > <rvpath>/lib/setenv` to add z3 native library to environment variable > LD_LIBRARY_PATH. > > Regarding this bug report, it could be a false positive due to incorrect > handling of java.nio.ch.* in RV-Predict. I haven't got a chance to > investigate it further. Oops, I forgot to mention that I add those lines to build.xml before line#1427. -- You are receiving this mail because: You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
