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

GitHub | markro49 | 6 months ago
tip
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards for you help.
  1. 0

    assert running kvasir-tests/DisambigTest with -ea

    GitHub | 6 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