Skip to content

Problem with file's closure #117

Description

@sava-cska

Klee doesn't close files while working, so when number of functions are bigger than 500, utbot can't write tests in files.

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type
No fields configured for issues without a type.

Projects

Status
Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions