java.lang.AssertionError: ProglangType (var ::globalTB.string_A type int[]) must be pseudo-array for OneOfSequence

GitHub | markro49 | 8 months ago
tip
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  1. 0

    assert running kvasir-tests/DisambigTest with -ea

    GitHub | 8 months ago | markro49
    java.lang.AssertionError: ProglangType (var ::globalTB.string_A type int[]) must be pseudo-array for OneOfSequence

    Root Cause Analysis

    1. java.lang.AssertionError

      ProglangType (var ::globalTB.string_A type int[]) must be pseudo-array for OneOfSequence

      at daikon.inv.unary.sequence.OneOfSequence.<init>()
    2. daikon.inv.unary
      OneOfSequence.instantiate_dyn
      1. daikon.inv.unary.sequence.OneOfSequence.<init>(OneOfSequence.java:107)
      2. daikon.inv.unary.sequence.OneOfSequence.instantiate_dyn(OneOfSequence.java:126)
      3. daikon.inv.unary.sequence.OneOfSequence.instantiate_dyn(OneOfSequence.java:38)
      3 frames
    3. daikon.inv
      Invariant.instantiate
      1. daikon.inv.Invariant.instantiate(Invariant.java:1859)
      1 frame
    4. daikon
      Daikon.main
      1. daikon.DynamicConstants.instantiate_oneof(DynamicConstants.java:1129)
      2. daikon.DynamicConstants.post_process(DynamicConstants.java:944)
      3. daikon.Daikon.process_data(Daikon.java:2147)
      4. daikon.Daikon.mainHelper(Daikon.java:614)
      5. daikon.Daikon.main(Daikon.java:492)
      5 frames