Skip to content
This repository has been archived by the owner on Jul 31, 2023. It is now read-only.

Threads don't work #5

Open
alastairreid opened this issue Sep 1, 2020 · 1 comment
Open

Threads don't work #5

alastairreid opened this issue Sep 1, 2020 · 1 comment
Labels
enhancement New feature or request KLEE KLEE support

Comments

@alastairreid
Copy link
Contributor

Thread support will probably have to be implemented separately for every verifier we support.
Some verifiers that we plan to use do not support threads or only have very limited support.
@alastairreid alastairreid added the enhancement New feature or request label Sep 1, 2020
@alastairreid alastairreid added the KLEE KLEE support label Sep 13, 2020
@alastairreid alastairreid mentioned this issue Oct 9, 2020
Open
12 tasks
@alastairreid
Copy link
Contributor Author

Partial support was added in #101 which supports one thread. This allows us to work with thread-safe libraries in a single-threaded environment.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request KLEE KLEE support
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@alastairreid