Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

KLEE: ERROR: Error writing stats data: database is locked #145

Closed
operasfantom opened this issue Apr 11, 2022 · 1 comment
Closed

KLEE: ERROR: Error writing stats data: database is locked #145

operasfantom opened this issue Apr 11, 2022 · 1 comment
Assignees
@misonijnik @sava-cska
Labels
help wanted Extra attention is needed klee Related to internal work of KLEE need to check Check if the issue can be reproduced in last version

Comments

@operasfantom
Copy link
Collaborator

Steps to reproduce:

  1. Configure project libbacktrace
  2. Generate tests for file dwarf.c
  3. Find errors in logs
2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: WARNING ONCE: Alignment of memory from call "malloc" is not modelled. Using alignment of 8.
2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: WARNING ONCE: calling external: syscall(4, 8792603704691, 8792603718672) at runtime/POSIX/fd.c:553 12
2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: ERROR: Error writing stats data: database is locked
2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: ERROR: Error writing stats data: database is locked
2022-04-11 10:22:33.557 [utbot-64TK      ]        RunKleeTask.cpp:66       1| .   .   KLEE: output directory is "/home/utbot/tmp/utbot-64TK/libbacktrace/klee_out/dwarf/klee_out_dwarf_buf_error/klee_entry__dwarf_read_sbyte"

Is this issue related to new interactive mode?
@operasfantom operasfantom added the help wanted Extra attention is needed label Apr 11, 2022
@ladisgin ladisgin moved this to Todo in UTBot C/C++ Apr 26, 2022
@ladisgin ladisgin added the klee Related to internal work of KLEE label Apr 28, 2022
@alexeyfridman alexeyfridman moved this to Todo in UTBot Java May 18, 2022
@ladisgin ladisgin added the need to check Check if the issue can be reproduced in last version label Jul 26, 2022
@ladisgin ladisgin mentioned this issue Mar 9, 2023
Open
@ladisgin
Copy link
Member

ladisgin commented Mar 9, 2023

Moved to UnitTestBot/klee#67

@ladisgin ladisgin closed this as completed Mar 9, 2023
@github-project-automation github-project-automation bot moved this from Todo to Done in UTBot C/C++ Mar 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@misonijnik misonijnik

@sava-cska sava-cska

Labels
help wanted Extra attention is needed klee Related to internal work of KLEE need to check Check if the issue can be reproduced in last version
Projects
UTBot C/C++
Status: Done
Milestone
No milestone
Development

No branches or pull requests
4 participants
@misonijnik @ladisgin @operasfantom @sava-cska