java.lang.NoClassDefFoundError: Could not initialize class gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3Solver

GitHub | ChaofengZhou | 12 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

    Unable to install jConstraints-z3

    GitHub | 12 months ago | ChaofengZhou
    java.lang.NoClassDefFoundError: Could not initialize class gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3Solver

    Root Cause Analysis

    1. java.lang.NoClassDefFoundError

      Could not initialize class gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3Solver

      at gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3SolverProvider.createSolver()
    2. gov.nasa.jpf
      TrigonometricTest.testAtan2
      1. gov.nasa.jpf.constraints.solvers.nativez3.NativeZ3SolverProvider.createSolver(NativeZ3SolverProvider.java:59)
      2. gov.nasa.jpf.constraints.solvers.ConstraintSolverFactory.createSolver(ConstraintSolverFactory.java:201)
      3. gov.nasa.jpf.constraints.solvers.ConstraintSolverFactory.createSolver(ConstraintSolverFactory.java:216)
      4. gov.nasa.jpf.constraints.solvers.ConstraintSolverFactory.createSolver(ConstraintSolverFactory.java:221)
      5. gov.nasa.jpf.constraints.expressions.TrigonometricTest.createContext(TrigonometricTest.java:45)
      6. gov.nasa.jpf.constraints.expressions.TrigonometricTest.testAtan2(TrigonometricTest.java:54)
      6 frames