aws-c-common icon indicating copy to clipboard operation
aws-c-common copied to clipboard

Published 20 hours ago • verified publisher icon awslabs

Replace PROOF_SOURCES with ABSTRACTIONS when using stubs in CBMC proofs

Open feliperodri opened this issue 4 years ago • 0 comments

Replace PROOF_SOURCES with ABSTRACTIONS when using stubs in CBMC proofs.

feliperodri avatar Oct 10 '20 01:10 feliperodri