Skip to content

Absent Serializable in ancestors for many classes #1527

Description

@CaelmBleidd

Description

We don't have Serializable in ancestors of java.lang.Long and many other classes that cause false UNSAT verdicts.

To Reproduce

Steps to reproduce the behavior:

  1. Run generation on org.utbot.examples.mixed.SerializableExample#example
  2. Look at the results

Expected behavior

Should be generated test case.

Actual behavior

There is no test case generated.

Visual proofs (screenshots, logs, images)

publicvoidexample() {
join("string", File.separator, System.currentTimeMillis());
}
publicstatic <T> Stringjoin(T... elements) {
returnnull;
}

Environment

There is no specific environment required.

Additional context

There is no additional context.

Metadata

Metadata

Assignees

Labels

comp-symbolic-engineIssue is related to the symbolic execution enginectg-bugIssue is a bug

Type

No type

Projects

Status
Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions