java.lang.NoSuchMethodError: com.microsoft.z3.Solver.getUnsatCore()[Lcom/microsoft/z3/Expr;

GitHub | fhowar | 9 months ago
tip
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards for you help.
  1. 0

    what can cause NoSuchMethodError ?

    GitHub | 9 months ago | MarwenSami
    java.lang.NoSuchMethodError: com.microsoft.z3.Solver.getUnsatCore()[Lcom/microsoft/z3/Expr;
  2. 0

    GitHub comment 3#239203324

    GitHub | 9 months ago | fhowar
    java.lang.NoSuchMethodError: com.microsoft.z3.Solver.getUnsatCore()[Lcom/microsoft/z3/Expr;

    Root Cause Analysis

    1. java.lang.NoSuchMethodError

      com.microsoft.z3.Solver.getUnsatCore()[Lcom/microsoft/z3/Expr;

      at gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3SolverContext.solve()
    2. gov.nasa.jpf
      RunJPF.main
      1. gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3SolverContext.solve(NativeZ3SolverContext.java:102)
      2. gov.nasa.jpf.jdart.constraints.InternalConstraintsTree.findNext(InternalConstraintsTree.java:466)
      3. gov.nasa.jpf.jdart.ConcolicMethodExplorer.hasMoreChoices(ConcolicMethodExplorer.java:206)
      4. gov.nasa.jpf.jdart.ConcolicExplorer.hasMoreChoices(ConcolicExplorer.java:206)
      5. gov.nasa.jpf.jdart.JDartChoiceGenerator.hasMoreChoices(JDartChoiceGenerator.java:64)
      6. gov.nasa.jpf.vm.SystemState.advanceCurCg(SystemState.java:883)
      7. gov.nasa.jpf.vm.SystemState.initializeNextTransition(SystemState.java:745)
      8. gov.nasa.jpf.vm.VM.forward(VM.java:1709)
      9. gov.nasa.jpf.search.Search.forward(Search.java:579)
      10. gov.nasa.jpf.search.DFSearch.search(DFSearch.java:79)
      11. gov.nasa.jpf.JPF.run(JPF.java:613)
      12. gov.nasa.jpf.jdart.JDart.run(JDart.java:207)
      13. gov.nasa.jpf.jdart.JDart.start(JDart.java:131)
      14. gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:108)
      14 frames