kani icon indicating copy to clipboard operation
kani copied to clipboard

Published 20 hours ago • verified publisher icon model-checking

Missing function assertions aren't generating useful failure messages

Open tedinski opened this issue 2 years ago • 1 comments 

Failed check: assertion

Should state what function and that it is missing.

tedinski avatar Jul 29 '22 17:07 tedinski

Looks like the earlier fix in https://github.com/model-checking/kani/pull/1126 no longer works.

zhassan-aws avatar Jul 29 '22 18:07 zhassan-aws