Skip to content
Build

Added pthread_self() and __VERIFIER_tid() intrinsics (same semantics,… #1957

Sign in to view logs

Added pthread_self() and __VERIFIER_tid() intrinsics (same semantics,…

Added pthread_self() and __VERIFIER_tid() intrinsics (same semantics,… #1957

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
47m 27s
47m 27s