java.lang.RuntimeException: Could not find simplify/daikon-background.txt

Google Groups | Tanzeem Bin Noor | 2 years ago
  1. 0

    Need to use Logical Compare feature of Daikon

    Google Groups | 2 years ago | Tanzeem Bin Noor
    java.lang.RuntimeException: Could not find simplify/daikon-background.txt
  2. 0
    Switch to Android Build Tools 23.0.3
  3. 0
    If the decompile process didn't work properly, try the Android APK Decompiler.
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0
    SMS Emulator caused this error. abortBroadcast only works with broadcasts sent through Context.sendOrderedBroadcast.
  6. 0
    You might have a JRockit JVM with the management agent started on the same port.

    Not finding the right solution?
    Take a tour to get the most out of Samebug.

    Tired of useless tips?

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. java.lang.RuntimeException

      Could not find simplify/daikon-background.txt

      at daikon.simplify.SessionManager.proverBackground()
    2. daikon.simplify
      LemmaStack.<init>
      1. daikon.simplify.SessionManager.proverBackground(SessionManager.java:111)
      2. daikon.simplify.SessionManager.attemptProverStartup(SessionManager.java:158)
      3. daikon.simplify.LemmaStack.startProver(LemmaStack.java:94)
      4. daikon.simplify.LemmaStack.<init>(LemmaStack.java:113)
      4 frames
    3. daikon.tools.compare
      LogicalCompare.main
      1. daikon.tools.compare.LogicalCompare.startProver(LogicalCompare.java:400)
      2. daikon.tools.compare.LogicalCompare.mainHelper(LogicalCompare.java:752)
      3. daikon.tools.compare.LogicalCompare.main(LogicalCompare.java:570)
      3 frames