model-checking
diff --git a/‎std/src/sys/pal/sgx/rwlock/tests.rs renamed to ‎std/src/sys/locks/rwlock/sgx/tests.rs b/‎std/src/sys/pal/sgx/rwlock/tests.rs renamed to ‎std/src/sys/locks/rwlock/sgx/tests.rs