Skip to content

Commit 77e7c01

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

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

test/cbmc/litani

Submodule litani updated 1 file

0 commit comments

Comments
 (0)