Re-enable the awslc test#2487

sauclovian-g wants to merge 1 commit intomasterGaloisInc/saw-script:masterfrom

2273-re-enable-awslcGaloisInc/saw-script:2273-re-enable-awslcCopy head branch name to clipboard