cbmc-starter-kit 2.0.3

mitalipaygude · Apr 18, 2022 · b2186b4 · b2186b4
1 parent 4155912
commit b2186b4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Formula/cbmc-starter-kit.rb b/Formula/cbmc-starter-kit.rb
@@ -4,12 +4,12 @@ class CbmcStarterKit < Formula
   desc "Templates for writing CBMC proofs for C code"
   homepage "https://github.com/model-checking/cbmc-starter-kit"
   url "https://github.com/model-checking/cbmc-starter-kit.git",
-      tag:      "starterkit-2.0.2",
-      revision: "82432f13ebf0f50baeff72b04faf65035dbb11db"
+      tag:      "starterkit-2.0.3",
+      revision: "789a974d0701eb292fb8f5c94a6cbab2c3835661"
   license "MIT-0"
 
   bottle do
-    root_url "https://github.com/model-checking/cbmc-starter-kit/releases/download/starterkit-2.0.2"
+    root_url "https://github.com/model-checking/cbmc-starter-kit/releases/download/starterkit-2.0.3"
     sha256 cellar: :any_skip_relocation, big_sur:      "dc6edec1c9cec486ff99dfc70f86acc592c775487a0e99b9546d66da45d591f8"
     sha256 cellar: :any_skip_relocation, catalina:     "8e5bbe807f876f434561a3e33bb3d1038e126f507d7023d36d081b14b1babd38"
     sha256 cellar: :any_skip_relocation, x86_64_linux: "b8160492667c3afd2403d07b00f2876c99b071e92bfa262505b5da2dd2e6f24a"