pyrox.dev
cbmc-viewer: init at 3.8
authored by Jacek Generowicz and committed by Weijia Wang 8ce2f147 1546e087
+30
pkgs/by-name/cb/cbmc-viewer/package.nix
+30
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
+
}