sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

cbmc 5.74.0 

Closes #119834.

Signed-off-by: Sean Molenaar <1484494+SMillerDev@users.noreply.github.com>
Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
master
Diffblue CI CProver 2023-01-05 14:14:32 +00:00 committed by BrewTestBot
parent d337dc2f1a
commit 200a07cca7
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Formula/cbmc.rb
View File

@ -2,8 +2,8 @@ class Cbmc < Formula
desc "C Bounded Model Checker" desc "C Bounded Model Checker"
homepage "https://www.cprover.org/cbmc/" homepage "https://www.cprover.org/cbmc/"
url "https://github.com/diffblue/cbmc.git", url "https://github.com/diffblue/cbmc.git",
tag: "cbmc-5.73.0", tag: "cbmc-5.74.0",
revision: "3d8c1f891e09a969071dc87d01991b95a9b4a037" revision: "2601e72f2dad8460676d94c45c11a8a3e0824729"
license "BSD-4-Clause" license "BSD-4-Clause"
bottle do bottle do