test-jepsen.checker-test.log:Caused by: java.lang.IllegalArgumentException: No single method: check of interface: jepsen.checker.Checker found for function: check of protocol: Checker
test-jepsen.independent-test.log:Caused by: java.lang.IllegalArgumentException: Can't define method not in interfaces: check
test-jepsen.perf-test.log:Caused by: java.lang.IllegalArgumentException: No single method: check of interface: jepsen.checker.Checker found for function: check of protocol: Checker
I can put tracebacks as well, although I believe it is easy to reproduce.
I ran all tests from https://github.com/aphyr/jepsen/tree/master/jepsen/test/jepsen Here are fragments of logs for failed tests:
test-jepsen.checker-test.log:Caused by: java.lang.IllegalArgumentException: No single method: check of interface: jepsen.checker.Checker found for function: check of protocol: Checker
test-jepsen.independent-test.log:Caused by: java.lang.IllegalArgumentException: Can't define method not in interfaces: check
test-jepsen.perf-test.log:Caused by: java.lang.IllegalArgumentException: No single method: check of interface: jepsen.checker.Checker found for function: check of protocol: Checker
I can put tracebacks as well, although I believe it is easy to reproduce.