Problem with file's closure #117
Description
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
Type
Projects
Status
{{ message }}
Klee doesn't close files while working, so when number of functions are bigger than 500, utbot can't write tests in files.
Status