gitdir: ../../../../../../../.git/modules/aws-common-runtime/aws-crt-cpp/modules/crt/s2n/modules/tests/cbmc/aws-verification-model-for-libcrypto
