https://bz.apache.org/bugzilla/show_bug.cgi?id=58321
--- Comment #10 from Yilong Li <yilong...@runtimeverification.com> --- (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. -- 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
