Skip to content

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

Closed
#484
Closed
Failed to generate tests because canonical name was not found#459
#484
Assignees
dtim
Labels
comp-symbolic-engineIssue is related to the symbolic execution enginectg-bugIssue is a bug

Description

@sofurihafe
sofurihafe
opened on Jul 8, 2022

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

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

Activity

  1. sofurihafe
    added
    ctg-bugIssue is a bug
    comp-symbolic-engineIssue is related to the symbolic execution engine
    on Jul 8, 2022
  2. sofurihafe
    assigned
    dtim
    on Jul 8, 2022
  3. sofurihafe
    added this to UTBot Javaon Jul 8, 2022
  4. sofurihafe
    moved this to Todo in UTBot Javaon Jul 8, 2022

  5. dtim commented on Jul 8, 2022

    @dtim
    dtim
    on Jul 8, 2022
    Collaborator

    Seems to be related to anonymous classes.

  6. dtim
    closed this as completedin #484on Jul 11, 2022
  7. Repository owner moved this from Todo to Done in UTBot Javaon Jul 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

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

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions