From 4a7ccd1b75a46de726830433326419df049dfa51 Mon Sep 17 00:00:00 2001 From: Bryce Shang Date: Thu, 17 Dec 2020 10:25:10 -0800 Subject: [PATCH] Disable SHA-256 proof. --- SAW/scripts/run_checks.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/SAW/scripts/run_checks.sh b/SAW/scripts/run_checks.sh index 2f87c1ce..5b6b2942 100755 --- a/SAW/scripts/run_checks.sh +++ b/SAW/scripts/run_checks.sh @@ -5,7 +5,7 @@ set -ex -saw proof/SHA256/SHA256.saw +# TODO: reenable proof on SHA-256 when resolved https://github.com/awslabs/aws-lc-verification/issues/32 (cd proof/SHA512 && go run SHA512-384-check-entrypoint.go) saw proof/SHA512/verify-SHA512-512-quickcheck.saw (cd proof/HMAC && go run HMAC-check-entrypoint.go)