Pattern selector

Most relevant patterns first. Most helpful ones displayed. Click here to show all.

  1. RunTest.main() has thrown an AssertionError
    Unsorted
    0
    0
    1
  2. TestJPF.verifyNoPropertyViolation() has thrown an AssertionError
    Unsorted
    0
    1
    2

Your stack trace compared to the selected pattern

Jump to solutionsExpand frames
java.lang.AssertionError: JPF found unexpected errors: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
13 matching frames hidden
    at java.lang.reflect.Method.invoke(Method.java:497)
    at gov.nasa.jpf.tool.RunTest.main(RunTest.java:185)

External results for this pattern (1)

  1. Rokiavia Google Groups1 year ago