Skip to content

CBMC test case

Pre-release
Pre-release
Compare
Choose a tag to compare
@vladrich vladrich released this 01 Aug 16:57
01
37b8f1e 
Clarify what RUN_ONCE returns

RUN_ONCE really just returns 0 on failure or whatever the init
function returned.  By convention, however, the init function must
return 0 on failure and 1 on success.  This needed to be clarified.

Reviewed-by: Matt Caswell <[email protected]>
(Merged from https://github.com/openssl/openssl/pull/2225)
Assets 3
Loading