Skip to content

Commit d57d836

Browse files
authored
Update litani submodule pointer (#65)
This update ensures that final proof results get posted to GitHub even when there are proof failures.
1 parent cb7b177 commit d57d836

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

test/cbmc/litani

Submodule litani updated 1 file

0 commit comments

Comments
 (0)