Commit 5ee632be authored by Sergei Zimmerman's avatar Sergei Zimmerman
Browse files

cbmc: fix update script

parent d22cf684

pkgs/by-name/cb/cbmc/package.nix

+6 −1
Original line number Diff line number Diff line
@@ -107,7 +107,12 @@ stdenv.mkDerivation (finalAttrs: { 
    command = "cbmc --version";

  };



  passthru.updateScript = nix-update-script { };

  passthru.updateScript = nix-update-script {

    extraArgs = [

      "--version-regex"

      "cbmc-(.*)"

    ];

  };



  meta = {

    description = "CBMC is a Bounded Model Checker for C and C++ programs";