java.lang.NullPointerException

There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

  • GitHub comment 70#243555740
    via GitHub by markro49
    ,
  • Need to use Logical Compare feature of Daikon
    via by Tanzeem Bin Noor,
    • java.lang.NullPointerException at daikon.VarInfo.simplify_name(VarInfo.java:3245) at daikon.VarInfo.simplify_name(VarInfo.java:3216) at daikon.VarInfo.name_using(VarInfo.java:2969) at daikon.inv.unary.string.OneOfString.format_simplify(OneOfString.java:409) at daikon.inv.unary.string.OneOfString.format_using(OneOfString.java:230) at daikon.simplify.InvariantLemma.<init>(InvariantLemma.java:17) at daikon.simplify.InvariantLemma.makeLemmaAddOrig(InvariantLemma.java:66) at daikon.tools.compare.LogicalCompare.translateAddOrig(LogicalCompare.java:216) at daikon.tools.compare.LogicalCompare.comparePpts(LogicalCompare.java:494) at daikon.tools.compare.LogicalCompare.mainHelper(LogicalCompare.java:803) at daikon.tools.compare.LogicalCompare.main(LogicalCompare.java:578)
    No Bugmate found.