cbmc-starter-kit icon indicating copy to clipboard operation
cbmc-starter-kit copied to clipboard
verified publisher icon model-checking

README dead link to training

Open lundinc2 opened this issue 5 years ago • 0 comments

Hi team,

I am trying to follow the link in the root folder README.md. github.com/awslabs/aws-training-materials-for-cbmc/SETUP.md, and it is 404'ing. Where can I find the repository with the cbmc training materials?

Thanks!

Carl

lundinc2 avatar Nov 19 '20 00:11 lundinc2