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

   1 {
   2   lib,
   3   python3Packages,
   4   fetchPypi,
   5 }:
   6
   7 python3Packages.buildPythonApplication rec {
   8   pname = "cbmc-viewer";
   9   version = "3.8";
  10   pyproject = true;
  11
  12   src = fetchPypi {
  13     inherit pname version;
  14     hash = "sha256-JFL06z7lJWZxTALovDBVwNJWenWPUQV9J0qZz3Ek6gI=";
  15   };
  16
  17   propagatedBuildInputs = with python3Packages; [
  18     setuptools
  19     jinja2
  20     voluptuous
  21   ];
  22
  23   meta = {
  24     description = "Produces browsable summary of CBMC model checker output";
  25     homepage = "https://github.com/model-checking/cbmc-viewer";
  26     license = lib.licenses.asl20;
  27     maintainers = with lib.maintainers; [ jacg ];
  28     mainProgram = "cbmc-viewer";
  29   };
  30 }