kani icon indicating copy to clipboard operation
kani copied to clipboard

Published 20 hours ago • verified publisher icon model-checking

Support for zero initializing values in CProver

Open danielsn opened this issue 2 years ago • 0 comments

https://github.com/model-checking/kani/pull/1230

danielsn avatar Aug 11 '22 18:08 danielsn