<commit_before>class Cbmc < Formula
  desc "C Bounded Model Checker"
  homepage "https://www.cprover.org/cbmc/"
  url "https://github.com/diffblue/cbmc.git",
      tag:      "cbmc-5.52.0",
      revision: "bd992a25e7643f7990389f6893764e177c41aa3d"
  license "BSD-4-Clause"

  bottle do
    sha256 cellar: :any_skip_relocation, arm64_monterey: "4099bdd85ef6be84f78b7f9707bf453723d59050cfe12736e07245d0f3cea3c1"
    sha256 cellar: :any_skip_relocation, arm64_big_sur:  "14e9255cfc18ab9b9a0b8bdb8bc2c49b92ddde9b096e1508e01f40716e83c4ec"
    sha256 cellar: :any_skip_relocation, monterey:       "35ed89ffb0cb397d5db4dcd4cf829ffd9aca4b2f8bea62a699a1a5915cf82ad6"
    sha256 cellar: :any_skip_relocation, big_sur:        "e4a4e1d4acd2c78f1be17aac6cc93295726dccf338b6877952a5ce83e33d0eae"
    sha256 cellar: :any_skip_relocation, catalina:       "f391ef12bc3ecc961099d9b02d724d52072b77191a901d97bbd9718834dbe4a9"<commit_msg>cbmc 5.53.0<commit_after>class Cbmc < Formula
  desc "C Bounded Model Checker"
  homepage "https://www.cprover.org/cbmc/"
  url "https://github.com/diffblue/cbmc.git",
      tag:      "cbmc-5.53.0",
      revision: "d0c594f3cf25f242cf5bd608798c9a3a24d5d304"
  license "BSD-4-Clause"

  bottle do
    sha256 cellar: :any_skip_relocation, arm64_monterey: "4099bdd85ef6be84f78b7f9707bf453723d59050cfe12736e07245d0f3cea3c1"
    sha256 cellar: :any_skip_relocation, arm64_big_sur:  "14e9255cfc18ab9b9a0b8bdb8bc2c49b92ddde9b096e1508e01f40716e83c4ec"
    sha256 cellar: :any_skip_relocation, monterey:       "35ed89ffb0cb397d5db4dcd4cf829ffd9aca4b2f8bea62a699a1a5915cf82ad6"
    sha256 cellar: :any_skip_relocation, big_sur:        "e4a4e1d4acd2c78f1be17aac6cc93295726dccf338b6877952a5ce83e33d0eae"
    sha256 cellar: :any_skip_relocation, catalina:       "f391ef12bc3ecc961099d9b02d724d52072b77191a901d97bbd9718834dbe4a9"
{'fraction_non_alphanumeric': 0.07641921397379912, 'fraction_numerical': 0.259825327510917, 'mean_word_length': 5.943181818181818, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 3, 'https://': 4, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2588755', 'n_tokens_mistral': 1102, 'n_tokens_neox': 886, 'n_words': 90}