[WIP] Make CBMC specs more readable #817

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft

hanno-becker wants to merge 2 commits into main from cbmc_clutter

Draft

[WIP] Make CBMC specs more readable #817

[WIP] Reduce visual clutter in CBMC specs

DCO-2 / DCO succeeded Dec 29, 2025 in 0s

Check passed!

All commits are signed off, the check passed.

Summary

	Sha	Message	Pass or fail reason
🟢	0749d2d	[WIP] Reduce CI	`Valid sign-off found`
🟢	997bffd	[WIP] Reduce visual clutter in CBMC specs	`Valid sign-off found`

View more details on DCO-2