Add formula for CBMC 6.10.0#30

github-actions[bot] wants to merge 1 commit into

maindiffblue/homebrew-cbmc:mainfrom

cbmc-6.10.0diffblue/homebrew-cbmc:cbmc-6.10.0Copy head branch name to clipboard