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

Google Groups | Tanzeem Bin Noor | 2 years ago
tip
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  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

    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