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

Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via GitHub by markro49
, 1 year ago
ProglangType (var ::globalTB.string_A type int[]) must be pseudo-array for OneOfSequence
java.lang.AssertionError: ProglangType (var ::globalTB.string_A type int[]) must be pseudo-array for OneOfSequence
at daikon.inv.unary.sequence.OneOfSequence.(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)

Users with the same issue

You are the first who have seen this exception. Write a tip to help other users and build your expert profile.

Know the solutions? Share your knowledge to help other developers to debug faster.