rust-verification-tools icon indicating copy to clipboard operation
rust-verification-tools copied to clipboard

Published 20 hours ago • verified publisher icon project-oak

Threads don't work

Open alastairreid opened this issue 4 years ago • 1 comments

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 avatar Sep 01 '20 05:09 alastairreid

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

alastairreid avatar Mar 11 '21 13:03 alastairreid