Skip to content

Failed to generate tests because canonical name was not found #459

Description

@sofurihafe

Description

Tests generation failed because ClassId.canonicalName has thrown an exception

To Reproduce

  1. Run Contest Estimator with method com.google.common.base.CaseFormat.* and 300s time limit.

Actual behavior

publicvoidtestTo_errors()
{
// Couldn't generate some tests. List of errors:// // 1 occurrences of:// ClassId com.google.common.base.CaseFormat$1 does not have canonical name
}

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