Skip to content

Test generation hanged for class #633

@EgorkaKulikov

Description

@EgorkaKulikov

To Reproduce

Try to generate tests for class with default settings

import com.fasterxml.jackson.databind.ObjectMapper;
public class Solution {

    public Object[] func_1(String json) throws JsonProcessingException {
        ObjectMapper mapper = new ObjectMapper();
        return mapper.readValue(json, Object[].class);
    }
}

Actual behavior

Tests generation process hang.

Additional context

Bug was found by Dmitry Fedrushkov wx1076228

Metadata

Metadata

Assignees

Labels

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

Type

No type

Projects

Status

Todo

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions