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( at daikon.VarInfo.simplify_name( at daikon.VarInfo.name_using( at daikon.inv.unary.string.OneOfString.format_simplify( at daikon.inv.unary.string.OneOfString.format_using( at daikon.simplify.InvariantLemma.<init>( at daikon.simplify.InvariantLemma.makeLemmaAddOrig( at at at at
    No Bugmate found.