java.lang.AssertionError

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.

    • java.lang.AssertionError: ProglangType (var ::globalTB.string_A type int[]) must be pseudo-array for OneOfSequence at daikon.inv.unary.sequence.OneOfSequence.<init>(OneOfSequence.java:107) at daikon.inv.unary.sequence.OneOfSequence.instantiate_dyn(OneOfSequence.java:126) at daikon.inv.unary.sequence.OneOfSequence.instantiate_dyn(OneOfSequence.java:38) at daikon.inv.Invariant.instantiate(Invariant.java:1859) at daikon.DynamicConstants.instantiate_oneof(DynamicConstants.java:1129) at daikon.DynamicConstants.post_process(DynamicConstants.java:944) at daikon.Daikon.process_data(Daikon.java:2147) at daikon.Daikon.mainHelper(Daikon.java:614) at daikon.Daikon.main(Daikon.java:492)
    No Bugmate found.